A Counting Logic for Structure Transition Systems.

Lukasz Kaiser Simon Leßenich

Published in: CSL (2012)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
practical reasoning
control flow
domain specific
knowledge base
distributed systems
linear programming
business processes
model checker