Assumption/guarantee specifications in linear-time temporal logic
Resource
Theoretical Computer Science 167,47-72
Journal
Theoretical Computer Science
Journal Volume
167
Journal Issue
1-2
Pages
47-72
Date Issued
1996
Date
1996
Author(s)
Jonsson, Bengt
DOI
246246/2006111501244225
Abstract
An assumption/guarantee specification of a system consists of an assumption part, which specifies the assumptions on the behavior of the environment, & a guarantee part, which specifies the properties guaranteed by the system if the environment obeys the assumptions. A suitable interpretation of an assumption/guarantee specification was essentially formulated by Misra & Chandy (1981). The interpretation was later extended by others to allow liveness properties in the guarantee part.
Type
other
File(s)![Thumbnail Image]()
Loading...
Name
10001.pdf
Size
22.98 KB
Format
Adobe PDF
Checksum
(MD5):6bd1adcaee3e4b8dd2151294ba888a93