Presheaves as transition systems.

Glynn Winskel Mogens Nielsen

Published in: Partial Order Methods in Verification (1996)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
reactive systems
markov chain
case study
test set
petri net
distributed systems
learning algorithm
formal verification
domain specific