Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493376zbMATH OpenFDO

Authors David Monniaux

Publication date 20 October 2006

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Programming Languages and Systems
• Why does Astrée scale up?
• Static analysis of run-time errors in embedded critical parallel C programs
• Static analysis of run-time errors in embedded real-time parallel C programs
• scientific article; zbMATH DE number 1953274

Cited in

(10)

• scientific article; zbMATH DE number 1863891 (Why is no real title available?)
• Memory-efficient fixpoint computation
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• scientific article; zbMATH DE number 2088933 (Why is no real title available?)
• Static analysis of run-time errors in embedded real-time parallel C programs
• Static analysis of run-time errors in embedded critical parallel C programs
• Static Analysis
• Why does Astrée scale up?
• Programming Languages and Systems
• Distributed and predictable software model checking

Describes a project that uses

Uses Software

• REDLOG
• Octagon
• 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 Q5493376)