Ivy
From MaRDI portal
Software:5972521
swMATH41668MaRDI QIDQ5972521FDOQ5972521
Author name not available (Why is that?)
Cited In (14)
- A decidable and expressive fragment of Many-Sorted first-order linear temporal logic
- Sound verification procedures for temporal properties of infinite-state systems
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Title not available (Why is that?)
- Protocol combinators for modeling, testing, and execution of distributed systems
- Scaling up livelock verification for network-on-chip routing algorithms
- Bounded Quantifier Instantiation for Checking Inductive Invariants
- Temporal prophecy for proving temporal properties of infinite-state systems
- Learning inductive invariants by sampling from frequency distributions
- Certification of an exact worst-case self-stabilization time
- Title not available (Why is that?)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Title not available (Why is that?)
- SGGS decision procedures
This page was built for software: Ivy
