Robuta

https://arxiv.org/abs/1209.1916v2

[1209.1916v2] Model-Checking of Ordered Multi-Pushdown Automata

Abstract page for arXiv paper 1209.1916v2: Model-Checking of Ordered Multi-Pushdown Automata

model checking pushdown automata ordered multi

https://arxiv.org/abs/2505.16357

[2505.16357] Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)

Abstract page for arXiv paper 2505.16357: Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)

probabilistic model efficient checking relational reachability

https://www.unifr.ch/inf/fds/en/research/topics/topic2.html

Model Checking | Foundations of Dependable Systems Group | University of Fribourg

model checking dependable systems foundations group university

https://hillelwayne.com/post/graphing-tla/

Breaking the limits of TLA+ model checking

Graphing TLA+ state spaces for fun and profit.

breaking the limits model checking tla

https://easychair.org/publications/paper/X9gM

Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using...

model checking deadlock detection operating system approach

https://www.sri.com/publication/parallel-model-checking-using-abstraction/

Parallel model checking using abstraction - SRI

In this work, we compare hash-distributed search, a well-known parallel search technique for model checking, with an algorithm from the automated planning and...

model checking parallel using abstraction sri

https://andrea.burattin.net/publications/2022-dec2h

Process Mining meets Statistical Model Checking: Towards a Novel Approach to Model Validation and...

process mining statistical model meets checking towards

https://www.easychair.org/publications/keyword/PXrT

Keyword: Bounded Model Checking

model checking keyword bounded