Guarding the guard: Using meta formal specifications to guard assertions.

Doron Drusinsky

Published in: SoSE (2009)

Keyphrases

formal specification
object oriented design
model checking
specification languages
protocol specification
reverse engineering
knowledge base
source code
user defined
software components
design methodology
specification language
concurrent systems