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
• Compositional may-must program analysis
• Efficient loop navigation for symbolic execution
• Efficient bounded model checking of heap-manipulating programs using tight field bounds
• Interpolation and Model Checking
• LCTD: test-guided proofs for C programs on LLVM
• Predicate Abstraction for Program Verification
• Combining Model Checking and Testing
• Bias-variance tradeoffs in program analysis

This page was built for software: YOGI