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