Applying formal methods within structured development.

Sukhvinder S. Aujla Tony Bryant Lesley Semmens

Published in: IEEE J. Sel. Areas Commun. (1994)

Keyphrases

formal methods
safety critical
knowledge based systems
development lifecycle
software engineering
model checking
formal specification
formal analysis
model checker
structured data
provably correct
databases
machine learning
artificial intelligence
distributed systems
decision support