Finite Model Generation and Formal Specification Development.

Published in: TOOLS (24) (1997)

Keyphrases

formal specification
object oriented design
specification language
model checking
specification languages
formal methods
software engineering
reverse engineering
process algebra
databases
machine learning
knowledge based systems
fine grained
data abstraction