Abstract Interpretation of the Physical Inputs of Embedded Programs

DOI10.1007/978-3-540-78163-9_8MaRDI QIDQ5452705zbMATH OpenOpenAlexFDO

Authors Olivier Bouissou, Matthieu Martel

Publication date 4 April 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78163-9_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Abstract interfaces of input/output logic
• Programming Languages and Systems
• Embedded software verification using symbolic execution and uninterpreted functions
• Abstraction of hardware construction
• Correct Hardware Design and Verification Methods
• An approach to the specification and verification of a hardware compilation scheme
• Functional Verification of Programmable Embedded Architectures

Cites work

• Automata, Languages and Programming
• Error Bounds for the Runge-Kutta Single-Step Integration Process
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 4084894 (Why is no real title available?)
• scientific article; zbMATH DE number 1303069 (Why is no real title available?)
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• scientific article; zbMATH DE number 2087547 (Why is no real title available?)
• scientific article; zbMATH DE number 1440924 (Why is no real title available?)
• scientific article; zbMATH DE number 1444347 (Why is no real title available?)
• On the remainder on the Runge-Kutta formula in the theory of ordinary differential equations
• Solving Ordinary Differential Equations I
• The algorithmic analysis of hybrid systems
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation

Cited in

(4)

• The abstract domain of trapezoid step functions
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• Abstraction of hardware construction
• Programming Languages and Systems

This page was built for publication: Abstract Interpretation of the Physical Inputs of Embedded Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452705)