YOGI
From MaRDI portal
swMATH13094MaRDI QIDQ25012FDOQ25012
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-00768-2_17
Cited In (30)
- TRACER: a symbolic execution tool for verification
- Taking satisfiability to the next level with Z3 (abstract)
- A data driven approach for algebraic loop invariants
- Collaborative verification and testing with explicit assumptions
- Interpolation and model checking
- Predicate abstraction for program verification
- Efficient loop navigation for symbolic execution
- Combining model checking and testing
- Efficient bounded model checking of heap-manipulating programs using tight field bounds
- ADL
- Pex
- ACL2s
- Interproc
- ConTest
- InvGen
- CCured
- SLAB
- Threader
- JPF-SE
- Snugglebug
- LCTD
- LCTD: test-guided proofs for C programs on LLVM
- Looper
- CATG
- jCUTE
- LCT
- Compositional may-must program analysis: unleashing the power of alternation
- CoVEGI
- Con2colic
- Bias-variance tradeoffs in program analysis
This page was built for software: YOGI
