877 followers
RT @ClouDatAI: stevegagne99Rigorous Software Development Introduction Undergraduate: https://t.co/CLyH0JvYty Quantu… https://t.co/70CUrcIxYl
335 followers
An Overview of Formal Methods Tools and Techniques https://t.co/AYqmQuMXb4
Rigorous Software Development
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 An Overview of Formal Methods Tools and Techniques
-
Altmetric BadgeChapter 3 Propositional Logic
-
Altmetric BadgeChapter 4 First-Order Logic
-
Altmetric BadgeChapter 5 Hoare Logic
-
Altmetric BadgeChapter 6 Generating Verification Conditions
-
Altmetric BadgeChapter 7 Safety Properties
-
Altmetric BadgeChapter 8 Procedures and Contracts
-
Altmetric BadgeChapter 9 Specifying C Programs
-
Altmetric BadgeChapter 10 Verifying C Programs