UniForM Perspectives for Formal Methods.

Bernd Krieg-Brückner

Published in: FM-Trends (1998)

Keyphrases

formal methods
artificial intelligence
model checking
formal analysis
formal specification
model checker
process algebra
provably correct
safety critical
software engineering
knowledge based systems
knowledge acquisition
development lifecycle
real world
temporal properties
database systems
web services
data mining