Finding root causes of floating point error
Article in ACM SIGPLAN Notices (June 2018)
Formal Methods for Industrial Critical Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Formal Verification of Industrial Critical Software
-
Altmetric BadgeChapter 2 A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C
-
Altmetric BadgeChapter 3 Intra-procedural Optimization of the Numerical Accuracy of Programs
-
Altmetric BadgeChapter 4 Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
-
Altmetric BadgeChapter 5 Successful Use of Incremental BMC in the Automotive Industry
-
Altmetric BadgeChapter 6 Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources
-
Altmetric BadgeChapter 7 Model Checking a Server-Side Micro Payment Protocol
-
Altmetric BadgeChapter 8 Require, Test and Trace IT
-
Altmetric BadgeChapter 9 Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution
-
Altmetric BadgeChapter 10 Timed Mobility and Timed Communication for Critical Systems
-
Altmetric BadgeChapter 11 On the Formal Analysis of Photonic Signal Processing Systems
-
Altmetric BadgeChapter 12 Automated Verification of Nested DFS
-
Altmetric BadgeChapter 13 On the Formal Verification of Optical Quantum Gates in HOL
Attention for Chapter 4:
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools