scientific article; zbMATH DE number 4024753
From MaRDI portal
Publication:3766816
Recommendations
Cited in
(36)- Integration of verification methods for program systems
- Application of conditional term substitution systems in program verification
- Verifying programs in the calculus of inductive constructions
- Symbolic execution formally explained
- Verified self-explaining computation
- A new approach to program verification
- Program verification by coinduction
- Verification as a parameterized testing (experiments with the SCP4 supercompiler)
- Tableaux for constructive concurrent dynamic logic
- Program verification with interacting analysis plugins
- Automatic constrained rewriting induction towards verifying procedural programs
- Programmed strategies for program verification
- TRACER: a symbolic execution tool for verification
- scientific article; zbMATH DE number 5917352 (Why is no real title available?)
- Programmable verifiers in imperative programming
- Interleaving symbolic execution and partial evaluation
- A dynamic logic for unstructured programs with embedded assertions
- scientific article; zbMATH DE number 996399 (Why is no real title available?)
- Gradual program verification
- On automated program construction and verification
- scientific article; zbMATH DE number 3926224 (Why is no real title available?)
- scientific article; zbMATH DE number 4047196 (Why is no real title available?)
- scientific article; zbMATH DE number 4088902 (Why is no real title available?)
- scientific article; zbMATH DE number 177260 (Why is no real title available?)
- scientific article; zbMATH DE number 177528 (Why is no real title available?)
- scientific article; zbMATH DE number 7364137 (Why is no real title available?)
- Program verification through characteristic formulae
- From program verification to program synthesis
- Verifying concurrent systems with symbolic execution. Temporal reasoning is symbolic execution with a little induction.
- Model Checking Software
- KeY: A Formal Method for Object-Oriented Systems
- scientific article; zbMATH DE number 2217740 (Why is no real title available?)
- Model Checking Software
- Program semantics and verification technique for AI-centred programs
- Tactical theorem proving in program verification
- Schematic program proofs with abstract execution. Theory and applications
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 Q3766816)
