Parcourir par sujet "Abstract Interpretation"
Voici les éléments 1-1 de 1
In : Rapports de recherche internes, (CERIST, Alger, 2014-02-05)In this paper, we present SADA, a static analysis tool to verify device drivers for TinyOS applications. Its broad goal is to certify that the execution paths of the application complies with a given hardware specification. SADA can handle a broad spectrum of hardware specifications, ranging from simple assertions about ...