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