Verifying programs in the calculus of inductive constructions

DOI10.1007/BF01211457zbMath0905.68092OpenAlexW2038724494MaRDI QIDQ1267035

Catherine Parent-Vigouroux

Publication date: 6 October 1998

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211457

zbMATH Keywords

functional programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

A User-friendly Interface for a Lightweight Verification System ⋮ Verifying programs in the calculus of inductive constructions

Uses Software

• Coq
• Nuprl
• Automath
• LEGO

Cites Work

• Verifying programs in the calculus of inductive constructions
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verifying programs in the calculus of inductive constructions