swMATH46319MaRDI QIDQ5972585FDOQ5972585
Author name not available (Why is that?)
Official website: https://web.eecs.umich.edu/~manosk/assets/papers/ironfleet-sosp15.pdf
Cited In (31)
- A learning-based approach to synthesizing invariants for incomplete verification engines
- SAMC
- Locust
- 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
- Synchronizing the asynchronous
- Bounded quantifier instantiation for checking inductive invariants
- dBug
- DCatch
- SeLoger
- Generalized arrays for Stainless frames
- TLC
- Ivy
- MODIST
- go
- VeriCon
- PSync
- ByMC
- Chapar
- Verdi
- FastTrack
- Constructive Proof FLP
- Naiad
- SETL
- GraphQL
- Minha
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Ivy
- Learning shape analysis
- Synthesis of distributed algorithms with parameterized threshold guards
This page was built for software: IronFleet
