Can we really do without the support of formal methods in the verification of large designs?

Published in: DAC (2005)

Keyphrases

formal methods
model checking
formal analysis
model checker
knowledge based systems
artificial intelligence
provably correct
formal specification
software engineering
safety critical
knowledge management
design tools
process algebra
modeling language
decision support
end users
knowledge representation
databases