Well Structured Transition Systems with History.

Parosh Aziz Abdulla Giorgio Delzanno Marco Montali

Published in: GandALF (2015)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
distributed systems
petri net
reactive systems
knowledge base
hidden markov models
software engineering