An Exercise on Transition Systems.

Paula R. Ribeiro Luís Soares Barbosa Shuling Wang

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
distributed systems
formal methods
model checker
artificial intelligence
search algorithm
hidden markov models
object oriented