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