Secure mechanical verification of mutually recursive procedures
type: Item
instance of: scholarly article
title: Secure mechanical verification of mutually recursive procedures
zbMATH Open document ID: 1075.68615
DOI: 10.1016/S0890-5401(03)00133-0
author: Peter V. Homeier
author: David Martin
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2118402
describes a project that uses: ML
describes a project that uses: HOL
MaRDI profile type: Publication
cites work: Soundness and Completeness of an Axiom System for Program Verification
cites work: Q5287513
cites work: Assignment and Procedure Call Proof Rules
cites work: Q4151142
cites work: Automatic program verification. I: A logical basis and its implementation
cites work: Q3912005
cites work: Partial correctness: The term-wise approach
cites work: Substitution revisited
cites work: Q3141916
Recommended article: Mechanical verification of mutually recursive procedures
Recommended article: Q4418691
Recommended article: Mechanical verification of concurrency control and recovery protocols
Recommended article: Modular Verification of Recursive Programs
Recommended article: A framework for compositional verification of security protocols
Recommended article: Q4804905
Recommended article: Programming Languages and Systems
description: scientific article; zbMATH DE number 2118402