Cubicle
From MaRDI portal
Software:25690
swMATH13778MaRDI QIDQ25690FDOQ25690
Author name not available (Why is that?)
Cited In (20)
- Sound verification procedures for temporal properties of infinite-state systems
- Checking deadlock-freedom of parametric component-based systems
- SMT-based verification of data-aware processes: a model-theoretic approach
- ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
- 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
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
- Parameterized model checking on the TSO weak memory model
- On invariant synthesis for parametric systems
- A non-linear arithmetic procedure for control-command software verification
- Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
- From model completeness to verification of data aware processes
- Model completeness, covers and superposition
- Structural Invariants for the Verification of Systems with Parameterized Architectures
- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows
- Parameterized synthesis of self-stabilizing protocols in symmetric networks
- Property-directed inference of universal invariants or proving their absence
- An Automatic Proving Approach to Parameterized Verification
This page was built for software: Cubicle
