First Steps towards Deductive Verification of LLVM IR
Book chapter (April 2024)
Deductive Software Verification – The KeY Book
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Quo Vadis Formal Verification?
-
Altmetric BadgeChapter 2 First-Order Logic
-
Altmetric BadgeChapter 3 Dynamic Logic for Java
-
Altmetric BadgeChapter 4 Proof Search with Taclets
-
Altmetric BadgeChapter 5 Theories
-
Altmetric BadgeChapter 6 Abstract Interpretation
-
Altmetric BadgeChapter 7 Formal Specification with the Java Modeling Language
-
Altmetric BadgeChapter 8 From Specification to Proof Obligations
-
Altmetric BadgeChapter 9 Modular Specification and Verification
-
Altmetric BadgeChapter 10 Verifying Java Card Programs
-
Altmetric BadgeChapter 11 Debugging and Visualization
-
Altmetric BadgeChapter 12 Proof-based Test Case Generation
-
Altmetric BadgeChapter 13 Information Flow Analysis
-
Altmetric BadgeChapter 14 Program Transformation and Compilation
-
Altmetric BadgeChapter 15 Using the KeY Prover
-
Altmetric BadgeChapter 16 Formal Verification with KeY: A Tutorial
-
Altmetric BadgeChapter 17 KeY-Hoare
-
Altmetric BadgeChapter 18 Functional Verification and Information Flow Analysis of an Electronic Voting System
-
Altmetric BadgeChapter 19 Verification of Counting Sort and Radix Sort