research
∙
07/11/2022
Counterexample Generation for Infinite-State Chemical Reaction Networks
Counterexample generation is an indispensable part of model checking pro...
share
research
∙
04/30/2020
Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking
The enormous number of states reachable during explicit model checking i...
research
∙
04/30/2020
