Implementing and verifying MSC specifications using Promela/XSpin.

Stefan Leue Peter B. Ladkin

Published in: The Spin Verification System (1996)

Keyphrases

model checking
efficient implementation
formal specification
real time
high level
data model
control flow
database
information systems
probabilistic model
software development
functional requirements
operational semantics
delay insensitive