C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An assume-guarantee rule for checking simulation.
Thomas A. Henzinger
Shaz Qadeer
Sriram K. Rajamani
Serdar Tasiran
Published in:
ACM Trans. Program. Lang. Syst. (2002)
Keyphrases
</>
simulation model
simulation environment
active databases
data sets
case study
simulation models
simulation software
genetic algorithm
mathematical model
classification rules
high fidelity
consistency checking