What Makes Industries Believe in Formal Methods.

Chris A. Vissers Marten van Sinderen Luís Ferreira Pires

Published in: PSTV (1993)

Keyphrases

formal methods
knowledge based systems
formal analysis
artificial intelligence
provably correct
software engineering
model checker
formal specification
safety critical
model checking
temporal properties
databases
distributed systems
reactive systems
expert systems
process algebra
relational databases