Sign in
An Assume-Guarantee Rule for Checking Simulation.
Thomas A. Henzinger
Shaz Qadeer
Sriram K. Rajamani
Serdar Tasiran
Published in:
FMCAD (1998)
Keyphrases
</>
data sets
simulation model
rule induction
rule learning
discrete event simulation
database
machine learning
computer vision
np hard
classification rules