HSF
From MaRDI portal
Cited in
(23)- ARMC
- Dagger
- YASM
- TRACER
- SIMP
- Threader
- CiaoPP
- QuteRTL
- FunArray
- FShell
- Specialization with constrained generalization for software model checking
- Verifying Array Programs by Transforming Verification Conditions
- Minimal-model-guided approaches to solving polynomial constraints and extensions
- VeriMAP
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- Incremental and modular context-sensitive analysis
- Efficient CTL verification via Horn constraints solving
- Solving non-linear Horn clauses using a linear Horn clause solver
- PoMMaDe
- A constraint-based approach to solving games on infinite graphs
- IncA
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings
This page was built for software: HSF
