Mushroom: a program for the automated verification of an SCM protocol specification.

Gilbert M. Lundy Berna Bülbül

Published in: ICNP (1993)

Keyphrases

automated verification
protocol specification
model checking
automated reasoning
formal verification
formal methods
supply chain
communication protocols
supply chain management
graphical models
formal specification
programming environment
transformation rules
process algebra