Cited in
(45)- Diffy
- Verification of flat FIFO systems
- Petri net reachability graphs: decidability status of first order properties
- Algebraic program analysis
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants
- Porous invariants
- Applying abstract acceleration to (co-)reachability analysis of reactive programs
- Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
- On selective unboundedness of VASS
- A versatile concept for the analysis of loops
- Taming past LTL and flat counter systems
- ICE-based refinement type discovery for higher-order functional programs
- Learning inductive invariants by sampling from frequency distributions
- Verification of Flat FIFO Systems
- Solving non-linear Horn clauses using a linear Horn clause solver
- TREX
- Aspic
- PURRS
- Princess
- ABC
- Aligators
- Eldarica
- HMC
- HSF
- TPDB
- LOOPUS
- opaal
- Deciding conditional termination
- FAST
- c2i
- Spacer
- MoCHi
- LoAT
- RAHFT
- JayHorn
- Automatic Generation of Invariants for Circular Derivations in SUP(LA)
- A calculus for modular loop acceleration
- Taming past LTL and flat counter systems
- Fast acceleration of ultimately periodic relations
- Quantitative robustness analysis of flat timed automata
- Iterating Octagons
- TreeAutomizer
- A new acceleration-based combination framework for array properties
- Guiding Craig interpolation with domain-specific abstractions
This page was built for software: FLATA
