Modal Transition Systems: A Foundation for Three-Valued Program Analysis.

Michael Huth Radha Jagadeesan David A. Schmidt

Published in: ESOP (2001)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
reactive systems
nonmonotonic logics
modal logic
artificial intelligence
distributed systems
linear programming
data flow