Rigorous software development : an introduction to program verification

Rigorous software development an introduction to program verification

Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs.

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Almeida, José Bacelar (BerichterstatterIn), Frade, Maria João (BerichterstatterIn), Pinto, Jorge Sousa (BerichterstatterIn), Melo de Sousa, Simão (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: London, Heidelberg u.a. Springer 2011
Schriftenreihe:Undergraduate topics in computer science
Schlagworte:
Computer software > Verification > Development > Softwareentwicklung > Programmverifikation
Online Zugang:Inhaltstext
Inhaltsverzeichnis
Verlagsangaben
Autorenbiografie
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs.
Beschreibung:Literaturangaben
Beschreibung:XII, 263 S.
graph. Darst.
235 mm x 155 mm
ISBN:9780857290175
978-0-85729-017-5