Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS

Tools
- Tools
+ Tools

UNSPECIFIED (1991) ISL - AN INTERVAL LOGIC FOR THE SPECIFICATION OF REAL-TIME PROGRAMS. LECTURE NOTES IN COMPUTER SCIENCE, 571 . pp. 1-20.

Research output not available from this repository, contact author.

Request Changes to record.

Abstract

ISL is a linear-time temporal logic for specifying properties of programs in execution intervals which are sequences of states. The end points of intervals are specified using instances of state predicates (or assertions) or time values. Abstract intervals, delimited by formulae over states in a computation, are used as the first step in constructing a timed specification. This is then transformed to incorporate timing, first by logical formulae and then using concrete time domains. Refinements are introduced to define time domains and timing properties and include refinement to programming constructs. We outline a way to specify resource limitations along with the functional and timing properties of programs. The specification method is illustrated with some examples.

Item Type: Journal Article
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Journal or Publication Title: LECTURE NOTES IN COMPUTER SCIENCE
Publisher: SPRINGER VERLAG
ISSN: 0302-9743
Official Date: 1991
Dates:
DateEvent
1991UNSPECIFIED
Volume: 571
Number of Pages: 20
Page Range: pp. 1-20
Publication Status: Published

Data sourced from Thomson Reuters' Web of Knowledge

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us