The Case for Formal Methods in Standards.

David Blyth Cornelia Boldyreff Clive Ruggles Nik Tetteh-Lartey

Published in: IEEE Softw. (1990)

Keyphrases

formal methods
artificial intelligence
provably correct
model checking
formal analysis
software engineering
knowledge based systems
formal specification
model checker
temporal properties
metadata
process algebra
safety critical
modeling language
case based reasoning
web services
formal specification language