Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68366MaRDI QIDQ5493380FDOQ5493380

Authors: Patrick Cousot 

Publication date: 20 October 2006

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

Recommendations

• Abstract Interpretation of the Physical Inputs of Embedded Programs
• scientific article; zbMATH DE number 2087617
• Abstract interpretation
• Verification, Model Checking, and Abstract Interpretation
• Static analysis by abstract interpretation: a mathematical programming approach

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (4)

• A Hybrid Denotational Semantics for Hybrid Systems
• Feature interactions in embedded control systems
• Title not available (Why is that?)
• Abstract Interpretation of the Physical Inputs of Embedded Programs

Uses Software

• ASTREE

This page was built for publication: Programming Languages and Systems

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