Deriving a simulation input generator and a coverage metric from a formal specification.

Kanna Shimizu David L. Dill

Published in: DAC (2002)

Keyphrases

formal specification
model checking
formal specification language
specification language
object oriented design
reverse engineering
formal methods
process algebra
data abstraction
concurrent systems
specification languages
cooperative
natural language
multi agent systems
information redundancy