scientific article; zbMATH DE number 3403724
From MaRDI portal
Publication:5670164
Cited in
(13)- Efficient symbolic analysis of programs
- Non-resolution theorem proving
- Automatic program verification. I: A logical basis and its implementation
- The verification and synthesis of data structures
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Milestones from the Pure Lisp Theorem Prover to ACL2
- Equivalence checking of Petri net models of programs using static and dynamic cut-points
- REF-ARF: A system for solving problems stated as procedures
- An interpretation-oriented theorem prover over integers
- Interleaving symbolic execution and partial evaluation
- A survey of state vectors
- A semantic extension of BNF
- A mechanical analysis of program verification strategies
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5670164)
