The following pages link to YOGI (Q25012):
Displaying 12 items.
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- Efficient bounded model checking of heap-manipulating programs using tight field bounds (Q2044185) (← links)
- TRACER: A Symbolic Execution Tool for Verification (Q2903126) (← links)
- Taking Satisfiability to the Next Level with Z3 (Q2908472) (← links)
- Efficient Loop Navigation for Symbolic Execution (Q3172934) (← links)
- Interpolation and Model Checking (Q3176372) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Collaborative Verification and Testing with Explicit Assumptions (Q4647837) (← links)
- Compositional may-must program analysis (Q5255061) (← links)
- A Data Driven Approach for Algebraic Loop Invariants (Q5326308) (← links)
- Bias-variance tradeoffs in program analysis (Q5408411) (← links)
