Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs. Following our work on Astr\'ee, we focus on embedded critical programs without recursion nor dynamic memory allocation, but extend the analysis to a static set of threads c...

Fuld beskrivelse

Bibliografiske detaljer

Hovedforfatter:	Antoine Miné
Format:	Artigo
Sprog:	Inglês
Udgivet:	Logical Methods in Computer Science e.V. 2012-03-01
Serier:	Logical Methods in Computer Science
Fag:	computer science - programming languages computer science - logic in computer science d.2.4 f.3.1 f.3.2
Online adgang:	https://lmcs.episciences.org/799/pdf
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!