-
Static analysis by abstract interpretation of concurrent programs
This report presents the bulk of my research work from the completion of my PhD, in late 2004, until the present day. The overall aim of my research is the development... -
Relational thread-modular static value analysis by abstract interpretation
International audience -
Verification, Model Checking, and Abstract Interpretation
International audience
