The Formal Specification Language mCRL2.

Jan Friso Groote Aad Mathijssen Michel A. Reniers Yaroslav S. Usenko Muck van Weerdenburg

Published in: MMOSS (2006)

Keyphrases

formal specification language
temporal logic
formal specification
formal methods
model checking
machine learning
databases
artificial intelligence
database systems
fine grained
reverse engineering