Cubicle
From MaRDI portal
Cited in
(33)- D-Finder
- TLA
- Property-directed inference of universal invariants or proving their absence
- ASASP
- Checking deadlock-freedom of parametric component-based systems
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- Universal invariant checking of parametric systems with quantifier-free SMT reasoning
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets
- PlusCal
- Memorax
- From model completeness to verification of data aware processes
- Parameterized model checking on the TSO weak memory model
- Parameterized synthesis of self-stabilizing protocols in symmetric networks
- Model completeness, covers and superposition
- On invariant synthesis for parametric systems
- A non-linear arithmetic procedure for control-command software verification
- CSP-prover
- Mcmt
- ParaVerifier
- Verification of composed array-based systems with applications to security-aware workflows
- ParaVerifier: an automatic framework for proving parameterized cache coherence protocols
- H-PILoT
- SAFARI
- Booster
- VERIFAS
- An automatic proving approach to parameterized verification
- Declarative parameterized verification of distributed protocols via the Cubicle model checker
- Structural Invariants for the Verification of Systems with Parameterized Architectures
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
- SMT-based verification of data-aware processes: a model-theoretic approach
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
- Ivy
- Sound verification procedures for temporal properties of infinite-state systems
This page was built for software: Cubicle
