-
A SPIN-based approach for detecting vulnerabilities in C programs
International audience -
Performance prediction of distributed computing applications executed on a pe...
In the field of high performance computing, the architectures evolve continuously. In order to increase the number of computing nodes or the network speed, an... -
Formal Verification of a C Value Analysis Based on Abstract Interpretation
International audience
