ATM Switch Design: Parametric High-Level Modeling and Formal Verification.

Sreeranga P. Rajan Masahiro Fujita

Published in: AMAST (1997)

Keyphrases

formal verification
high level
functional verification
model checking
low level
design process
modeling language
model checker
user interface
engineering design
higher level
software architecture
metamodel
probabilistic reasoning
symbolic model checking