YOGI

swMATH13094MaRDI QIDQ25012FDOQ25012

Author name not available (Why is that?)

Cited In (12)

• 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
• LCTD: test-guided proofs for C programs on LLVM
• Compositional may-must program analysis: unleashing the power of alternation
• Bias-variance tradeoffs in program analysis

This page was built for software: YOGI