Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
Conference proceeding (July 2021)
The most recent citing publication is shown below. View this citation on Dimensions.
Model Checking Software
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Model Verification Through Dependency Graphs
-
Altmetric BadgeChapter 2 Model Checking Branching Time Properties for Incomplete Markov Chains
-
Altmetric BadgeChapter 3 A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table
-
Altmetric BadgeChapter 4 From Dynamic State Machines to Promela
-
Altmetric BadgeChapter 5 String Abstraction for Model Checking of C Programs
-
Altmetric BadgeChapter 6 Swarm Model Checking on the GPU
-
Altmetric BadgeChapter 7 Statistical Model Checking of Complex Robotic Systems
-
Altmetric BadgeChapter 8 STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph
-
Altmetric BadgeChapter 9 Extracting Safe Thread Schedules from Incomplete Model Checking Results
-
Altmetric BadgeChapter 10 Learning Guided Enumerative Synthesis for Superoptimization
-
Altmetric BadgeChapter 11 Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model
-
Altmetric BadgeChapter 12 Conformance Testing of Schedulers for DSL-based Model Checking
-
Altmetric BadgeChapter 13 A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
-
Altmetric BadgeChapter 14 VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Attention for Chapter 14:
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs