C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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