Interproc
From MaRDI portal
Cited in
(18)- Apron
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Lackwit
- YOGI
- Octagon
- IKOS
- An abstract domain to infer symbolic ranges over nonnegative parameters
- TRACER: a symbolic execution tool for verification
- STRONG
- HySon
- HyLAA
- DyTa
- Towards Automatic Stability Analysis for Rely-Guarantee Proofs
- Ultimate Taipan
- Discovering invariants via simple component analysis
- scientific article; zbMATH DE number 1149866 (Why is no real title available?)
- Automatic verification of determinism for structured parallel programs
- Bias-variance tradeoffs in program analysis
This page was built for software: Interproc
