ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
Article in Journal of Systems and Software (July 2024)
Concrete Semantics : With Isabelle/HOL
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Programming and Proving
-
Altmetric BadgeChapter 3 Case Study: IMP Expressions
-
Altmetric BadgeChapter 4 Logic and Proof Beyond Equality
-
Altmetric BadgeChapter 5 Isar: a Language for Structured Proofs
-
Altmetric BadgeChapter 6 Programming and Proving
-
Altmetric BadgeChapter 7 IMP: A Simple Imperative Language
-
Altmetric BadgeChapter 8 Compiler
-
Altmetric BadgeChapter 9 Types
-
Altmetric BadgeChapter 10 Program Analysis
-
Altmetric BadgeChapter 11 Denotational Semantics
-
Altmetric BadgeChapter 12 Hoare Logic
-
Altmetric BadgeChapter 13 Abstract Interpretation