Debugging formal specifications using simple counterstrategies.

Robert Könighofer Georg Hofferek Roderick Bloem

Published in: FMCAD (2009)

Keyphrases

specification language
formal specification
object oriented design
design methodology
software testing
concurrent systems
database
information systems
relational databases
general purpose
highly reliable