The following pages link to (Q5670164):
Displaying 13 items.
- A survey of state vectors (Q458456) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Efficient symbolic analysis of programs (Q1082800) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Automatic program verification. I: A logical basis and its implementation (Q1843170) (← links)
- The verification and synthesis of data structures (Q1844075) (← links)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs (Q2251128) (← links)
- Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)
- REF-ARF: A system for solving problems stated as procedures (Q2541849) (← links)
- An interpretation-oriented theorem prover over integers (Q2555384) (← links)
- Interleaving Symbolic Execution and Partial Evaluation (Q3066122) (← links)
- A semantic extension of BNF (Q5678417) (← links)
