• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An assume-guarantee rule for checking simulation.

Thomas A. HenzingerShaz QadeerSriram K. RajamaniSerdar 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