|Title:||Assumption/guarantee specifications in linear-time temporal logic||Authors:||Jonsson, Bengt
|Issue Date:||1996||Journal Volume:||167||Journal Issue:||1-2||Start page/Pages:||47-72||Source:||Theoretical Computer Science||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.
|Appears in Collections:||資訊管理學系|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.