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