Protocol Design and Implementation Using Formal Methods.

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

Published in: Comput. J. (1992)

Keyphrases

formal methods
formal analysis
model checker
protocol specification
knowledge based systems
formal specification language
safety critical
case study
machine learning
artificial intelligence
temporal logic
modeling language
user interface
model checking