90 followers
Refinement-based Verification of Unstructured Code by Nils Jähnig, Thomas Göthel, Sabine Glesner https://t.co/RrxHoCdHbP #sefm16 #staf16
Software Engineering and Formal Methods
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems
-
Altmetric BadgeChapter 2 Satisfiability Checking: Theory and Applications
-
Altmetric BadgeChapter 3 Automatic Derivation of Platform Noninterference Properties
-
Altmetric BadgeChapter 4 Linearizability and Causality
-
Altmetric BadgeChapter 5 Refinement-Based Verification of Communicating Unstructured Code
-
Altmetric BadgeChapter 6 Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information
-
Altmetric BadgeChapter 7 Correlating Structured Inputs and Outputs in Functional Specifications
-
Altmetric BadgeChapter 8 Combining Predicate Abstraction with Fixpoint Approximations
-
Altmetric BadgeChapter 9 Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis
-
Altmetric BadgeChapter 10 Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams
-
Altmetric BadgeChapter 11 Program Generation Using Simulated Annealing and Model Checking
-
Altmetric BadgeChapter 12 LTL Parameter Synthesis of Parametric Timed Automata
-
Altmetric BadgeChapter 13 Model Checking Simulation Rules for Linearizability
-
Altmetric BadgeChapter 14 LTL Model Checking under Fairness in ProB
-
Altmetric BadgeChapter 15 Counterexamples from Proof Failures in SPARK
-
Altmetric BadgeChapter 16 Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution
-
Altmetric BadgeChapter 17 SMT-Based Automatic Proof of ASM Model Refinement
-
Altmetric BadgeChapter 18 Coq Implementation of OO Verification Framework VeriJ
-
Altmetric BadgeChapter 19 Towards a Proof Framework for Information Systems with Weak Consistency
-
Altmetric BadgeChapter 20 A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems
-
Altmetric BadgeChapter 21 Incentive Stackelberg Mean-Payoff Games
-
Altmetric BadgeChapter 22 Stability-Based Adaptation of Asynchronously Communicating Software
-
Altmetric BadgeChapter 23 Compliance Checking in the Open Payments Ecosystem
-
Altmetric BadgeChapter 24 CoCoSpec: A Mode-Aware Contract Language for Reactive Systems
-
Altmetric BadgeChapter 25 Modularizing Crosscutting Concerns in Component-Based Systems
-
Altmetric BadgeChapter 26 Tightening a Contract Refinement
-
Altmetric BadgeChapter 27 BMotionWeb: A Tool for Rapid Creation of Formal Prototypes