Implementing a Multi-valued Symbolic Model Checker
Abstract elided by the publisher.
Related papers
- chi-Chek: A Multi-valued Model-Checker CAV 2002
- Multi-core On-The-Fly Saturation TACAS 2019
- JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
- TLA+ model checking made symbolic OOPSLA 2019
- Word-Level Symbolic Trajectory Evaluation CAV 2015
- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution) TACAS 2019
- MCMAS: A Model Checker for Multi-agent Systems TACAS 2006
- MCMAS: A Model Checker for the Verification of Multi-Agent Systems CAV 2009