Checking Formal Specifications under Simulation.

William Canfield E. Allen Emerson Avijit Saha

Published in: ICCD (1997)

Keyphrases

formal specification
model checking
object oriented design
formal specification language
simulation model
temporal logic
design methodology
specification languages
databases
general purpose
distributed databases
reverse engineering
software testing
formal methods
specification language
concurrent systems