swMATH41668MaRDI QIDQ5972521FDOQ5972521
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-030-53291-8_12
Cited In (39)
- Koala
- IronFleet
- Sound verification procedures for temporal properties of infinite-state systems
- Synchronizing the asynchronous
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- A decidable and expressive fragment of many-sorted first-order linear temporal logic
- Title not available (Why is that?)
- Bounded quantifier instantiation for checking inductive invariants
- dBug
- DCatch
- Protocol combinators for modeling, testing, and execution of distributed systems
- Scaling up livelock verification for network-on-chip routing algorithms
- Sally
- IMITATOR
- RESTART
- TLAPS
- TLC
- Ivy
- Mcmt
- MODIST
- Cubicle
- VeriCon
- PSync
- nuXmv
- ByMC
- Chapar
- DynamoDB
- Verdi
- FastTrack
- DiskPaxos
- GeoNames
- Temporal prophecy for proving temporal properties of infinite-state systems
- Learning inductive invariants by sampling from frequency distributions
- Certification of an exact worst-case self-stabilization time
- Minha
- Btor2Tools
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Title not available (Why is that?)
- SGGS decision procedures
This page was built for software: Ivy