Formal proof of a program: find
type: Item
instance of: scholarly article
title: Formal proof of a program: find
zbMATH Open document ID: 1178.68353
author: Jean-Christophe Filliâtre
published in: Science of Computer Programming
publication date: 2007-01-11T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5115481
zbMATH Keywords: formal methods
zbMATH Keywords: imperative programs
zbMATH Keywords: Hoare logic
zbMATH Keywords: Coq proof assistant
describes a project that uses: Find
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: j.scico.2006.10.002
OpenAlex ID: W1971879297
DOI: 10.1016/J.SCICO.2006.10.002
Recommended article: The satisfiability of logical formula in proof of program
Recommended article: Q4733861
Recommended article: Q3757915
Recommended article: Proofs as programs
Recommended article: Q3138828
Recommended article: Writing programs that construct proofs
Recommended article: Proofs and programs
Recommended article: Proofs as Efficient Programs
Recommended article: Proof-Producing Program Analysis
Recommended article: Q5690664
description: scientific article; zbMATH DE number 5115481