IronFleet
From MaRDI portal
Cited in
(32)- Dafny
- Minha
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- TLC
- Generalized arrays for Stainless frames
- A learning-based approach to synthesizing invariants for incomplete verification engines
- Ivy
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
- Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
- MODIST
- go
- VeriCon
- PSync
- Synthesis of distributed algorithms with parameterized threshold guards
- Bounded quantifier instantiation for checking inductive invariants
- ByMC
- Verdi
- Chapar
- FastTrack
- Constructive Proof FLP
- Naiad
- Synchronizing the asynchronous
- SETL
- GraphQL
- Learning shape analysis
- Ivy
- Locust
- SeLoger
- dBug
- SAMC
- DCatch
- Sound verification procedures for temporal properties of infinite-state systems
This page was built for software: IronFleet
