Verification of Generic, Relational Transition Systems.

Diego Calvanese Giuseppe De Giacomo Marco Montali Fabio Patrizi

Published in: PMAI@IJCAI (2022)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
model checker
formal verification
finite state
formal specification
distributed systems
relational databases
control flow
petri net
practical reasoning
formal methods
data model
domain specific
reactive systems