PROOFS: Application engineering based on formal methods.

Kees M. van Hee Theodor Hildebrand Sergio Copelli

Published in: Microprocess. Microprogramming (1992)

Keyphrases

formal methods
development lifecycle
software engineering
formal analysis
artificial intelligence
machine learning
query language
decision support
formal specification
model checker
safety critical