Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68378MaRDI QIDQ5493376FDOQ5493376

Authors: David Monniaux 

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (10)

• Title not available (Why is that?)
• Programming Languages and Systems
• Title not available (Why is that?)
• Distributed and predictable software model checking
• Static analysis of run-time errors in embedded critical parallel C programs
• Title not available (Why is that?)
• Static analysis of run-time errors in embedded real-time parallel C programs
• Memory-efficient fixpoint computation
• Why does Astrée scale up?
• Static Analysis

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)