Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FMCAD
1998
Springer

favoriteEmaildiscussreport

85views Formal Methods» more FMCAD 1998»

An Assume-Guarantee Rule for Checking Simulation

13 years 9 months ago

An Assume-Guarantee Rule for Checking Simulation

Download network.ku.edu.tr

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama

Real-time Traffic

FMCAD 1998 | Formal Methods |

claim paper

Related Content

» AssumeGuarantee Verification for Interface Automata

» Automated AssumeGuarantee Reasoning for Simulation Conformance

» AssumeGuarantee Verification for Probabilistic Systems

» Compositional analysis for linear control systems

» Checkbochs Use Hardware to Check Software

» Efficient onthefly Algorithm for Checking Alternating Timed Simulation

» An invariantbased approach to the verification of asynchronous parameterized networks

» Policy auditing over incomplete logs theory implementation and applications

» Model Checking Graph Transformations A Comparison of Two Approaches

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	FMCAD
Authors	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran

Comments (0)