IIIT Hyderabad Publications |
|||||||||
|
The Production Cell example worked out using interval assumption based assume-guarantee methodologyAuthors: Santosh Arvind Adimoolam,Kartik Dubey,Amol Dave,Venkatesh Choppella Date: 2014-07-05 Report no: IIIT/TR/2014/33 AbstractPrevious real-time case studies did not use assume-guarantee style methodology in verifying the Production Cell. In this paper, we use interval assumptions, that are a subset of TCTL, in specifying assumptions for an assume-guarantee style verification of the Production Cell. Full report: pdf Centre for Software Engineering Research Lab |
||||||||
Copyright © 2009 - IIIT Hyderabad. All Rights Reserved. |