183 followers
Mentioned papers: Surveys: [1] https://t.co/KWJD5xjO0m [2] https://t.co/A9yZ71B57f Other papers: [3] https://t.co/BwnnyfKGHw [4] https://t.co/UCDm1cUUe6 [5] https://t.co/aH5oN43lGX 4/
Verification of Object-Oriented Software. The KeY Approach
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A New Look at Formal Methods for Software Construction
-
Altmetric BadgeChapter 2 First-Order Logic
-
Altmetric BadgeChapter 3 Dynamic Logic
-
Altmetric BadgeChapter 4 Construction of Proofs
-
Altmetric BadgeChapter 5 Formal Specification
-
Altmetric BadgeChapter 6 Pattern-Driven Formal Specification
-
Altmetric BadgeChapter 7 Natural Language Specifications
-
Altmetric BadgeChapter 8 Proof Obligations
-
Altmetric BadgeChapter 9 From Sequential Java to Java Card
-
Altmetric BadgeChapter 10 Using KeY
-
Altmetric BadgeChapter 11 Proving by Induction
-
Altmetric BadgeChapter 12 Java Integers
-
Altmetric BadgeChapter 13 Proof Reuse
-
Altmetric BadgeChapter 14 The Demoney Case Study
-
Altmetric BadgeChapter 15 The Schorr-Waite-Algorithm
-
Altmetric BadgeChapter 16 Predefined Operators in Java Card DL
-
Altmetric BadgeChapter 17 The KeY Syntax