IronFleet
From MaRDI portal
Software:5972585
No author found.
Related Items (10)
Sound verification procedures for temporal properties of infinite-state systems ⋮ Generalized arrays for Stainless frames ⋮ Synthesis of distributed algorithms with parameterized threshold guards ⋮ Automated test case generation for the paxos single-decree protocol using a coloured Petri net model ⋮ \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms ⋮ Unnamed Item ⋮ A learning-based approach to synthesizing invariants for incomplete verification engines ⋮ Bounded Quantifier Instantiation for Checking Inductive Invariants ⋮ Learning Shape Analysis ⋮ Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
This page was built for software: IronFleet
