The following pages link to Model Checking Software (Q5308375):
Displayed 4 items.
- CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Interleaving Symbolic Execution and Partial Evaluation (Q3066122) (← links)
- Inferring Loop Invariants Using Postconditions (Q3586008) (← links)