The following pages link to Cubicle (Q25690):
Displaying 20 items.
- Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)
- Property-directed inference of universal invariants or proving their absence (Q1702932) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Universal invariant checking of parametric systems with quantifier-free SMT reasoning (Q2055851) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- From model completeness to verification of data aware processes (Q2185467) (← links)
- Parameterized model checking on the TSO weak memory model (Q2208293) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- On invariant synthesis for parametric systems (Q2305429) (← links)
- A non-linear arithmetic procedure for control-command software verification (Q2324228) (← links)
- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows (Q2849480) (← links)
- ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols (Q3460561) (← links)
- An Automatic Proving Approach to Parameterized Verification (Q4617972) (← links)
- Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker (Q4991929) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking (Q5044397) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications (Q5881447) (← links)
