Abstract Interpretation of the Physical Inputs of Embedded Programs

DOI10.1007/978-3-540-78163-9_8zbMath1138.68358OpenAlexW1521140517MaRDI QIDQ5452705

Matthieu Martel, Olivier Bouissou

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

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

Related Items (2)

The abstract domain of trapezoid step functions ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• On the remainder on the Runge-Kutta formula in the theory of ordinary differential equations
• Solving Ordinary Differential Equations I
• Error Bounds for the Runge-Kutta Single-Step Integration Process
• Automata, Languages and Programming
• Foundations of Software Science and Computational Structures
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation

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