YOGI

swMATH13094MaRDI QIDQ25012FDOQ25012

Author name not available (Why is that?)

Cited In (12)

• Compositional may-must program analysis
• TRACER: A Symbolic Execution Tool for Verification
• Taking Satisfiability to the Next Level with Z3
• 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
• Efficient Loop Navigation for Symbolic Execution
• Combining Model Checking and Testing
• Collaborative Verification and Testing with Explicit Assumptions
• A Data Driven Approach for Algebraic Loop Invariants
• Bias-variance tradeoffs in program analysis

This page was built for software: YOGI