Formal Verification of Complex Coherence Protocols Using Symbolic State Models.

Fong Pong Michel Dubois

Published in: J. ACM (1998)

Keyphrases

formal verification
complex systems
model checking
state space
physical systems
high level
probabilistic model
artificial intelligence
hidden markov models
computational models
metamodel
finite state machines
bounded model checking