Why Would You Trust B?

DOI10.1007/978-3-540-75560-9_22zbMath1137.68355OpenAlexW1479826380MaRDI QIDQ3498474

Catherine Dubois, Éric Jaeger

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75560-9_22

zbMATH Keywords

ConfidenceDeep embeddingFormal MethodsProver

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Soundly Proving B Method Formulæ Using Typed Sequent Calculus ⋮ Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving

Uses Software

• Coq

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Engineering formal metatheory
• The B-Book
• de Bruijn notation as a nested datatype
• Confluence properties of weak and strong calculi of explicit substitutions
• Explicit substitutions
• Theorem Proving in Higher Order Logics

This page was built for publication: Why Would You Trust B?