scientific article; zbMATH DE number 3907752
From MaRDI portal
Publication:3685173
Recommendations
Cited in
(21)- Constructing recursion operators in intuitionistic type theory
- Program development in constructive type theory
- Verifying programs in the calculus of inductive constructions
- Proof checking and logic programming
- Mechanical Verification of a Constructive Proof for FLP
- scientific article; zbMATH DE number 5850099 (Why is no real title available?)
- On the strength of “sometimes” and “always” in program verification
- A Machine Checked Soundness Proof for an Intermediate Verification Language
- scientific article; zbMATH DE number 4088902 (Why is no real title available?)
- On Computability of Logical Approaches to Branching-Time Property Verification of Programs
- Program verification through characteristic formulae
- Characteristic formulae for the verification of imperative programs
- From program verification to program synthesis
- A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness
- Verification from Declarative Specifications Using Logic Programming
- Computer Aided Verification
- Program Verification with Separation Logic
- Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation
- Formal verification of C systems code. Structured types, separation logic and theorem proving
- A functional programming approach to the specification and verification of concurrent systems
- Comparing integrated and external logics of functional programs
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 Q3685173)
