Tags

Abstraction techniques

Automated reasoning

Petri nets

Reachability problems

Model Checking Contest

Quantifier elimination

Model Checking

Concurrency theory

Nested-unit Petri nets

State-space exploration