On Implementability of the Formal Specifications.

Victor Malyshkin

Published in: SoMeT (2007)

Keyphrases

formal specification
model checking
specification languages
object oriented design
specification language
process algebra
concurrent systems
reverse engineering
formal methods
design methodology
temporal logic