From State Machines to Temporal Logic: Specification Methods for Protocol Standards.

Richard L. Schwartz P. Michael Melliar-Smith

Published in: IEEE Trans. Commun. (1982)

Keyphrases

state machines
temporal logic
model checking
state machine
reactive systems
relational databases
transition systems
state space
pattern matching
petri net
model checker
bounded model checking