chi-Chek: A Multi-valued Model-Checker
No abstract available.
DOI 10.1007/3-540-45657-0_41
Related papers
- Implementing a Multi-valued Symbolic Model Checker TACAS 2001
- MCMAS: A Model Checker for Multi-agent Systems TACAS 2006
- MCMAS: A Model Checker for the Verification of Multi-Agent Systems CAV 2009
- EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system PLDI 2007
- PRISM-games: A Model Checker for Stochastic Multi-Player Games TACAS 2013
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021
- Contextual Metaprogramming for Session Types ESOP 2026
- LLMC: Verifying High-Performance Software CAV 2021