Formal Methods for Message Sequence Charts.

Published in: ICDCS Workshop on Distributed System Validation and Verification (2000)

Keyphrases

formal methods
formal analysis
formal specification
model checking
process algebra
safety critical
artificial intelligence
knowledge based systems
model checker
provably correct
software engineering
temporal properties
relational databases
information systems
databases
reactive systems
database