Rigorous software development. An introduction to program verification.

DOI10.1007/978-0-85729-018-2MaRDI QIDQ1960262zbMATH OpenOpenAlexFDO

Authors José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

Publication date 13 October 2010

Published in Undergraduate Topics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-0-85729-018-2

zbMATH Keywords

formal methods for software engineeringlogic-based methodsprogram logicprogram verificationverification of C programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1200752
• Software Verification and Validation
• scientific article; zbMATH DE number 5194318
• Software Verification and Analysis
• scientific article; zbMATH DE number 605793

Cited in

(8)

• Convergence: integrating termination and abort-freedom
• Fifty years of Hoare's logic
• A vindication of program verification
• scientific article; zbMATH DE number 994144 (Why is no real title available?)
• scientific article; zbMATH DE number 43673 (Why is no real title available?)
• scientific article; zbMATH DE number 605793 (Why is no real title available?)
• Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
• Three ways of proving termination of loops

Describes a project that uses

Uses Software

• ACSL

This page was built for publication: Rigorous software development. An introduction to program verification.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1960262)