Invariants and state in testing and formal methods.

Published in: PASTE (2005)

Keyphrases

formal methods
development lifecycle
formal specification
formal analysis
model checking
artificial intelligence
safety critical
user interface
test set
temporal properties
provably correct