Annotations in formal specifications and proofs

DOI10.1007/BF01384236zbMath0814.68088MaRDI QIDQ1334901

Saraswati Kalvala

Publication date: 26 September 1994

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

verificationmodelingtheorem provingformal specification

Mathematics Subject Classification ID

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

Related Items (1)

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology

Uses Software

• HOL
• NQTHM
• Z
• Unnamed Item

Cites Work

• Constructive Methods in Program Verification
• A Machine-Oriented Logic Based on the Resolution Principle
• A formulation of the simple theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Annotations in formal specifications and proofs