Multi-core and highly connected architectures have become ubiquitous, and this has
brought renewed interest in language-based approaches to the exploitation of parallelism …

Fault attacks consist in changing the program behavior by injecting faults at run-time, either
at hardware or at software level. Their goal is to change the correct progress of the algorithm …

Assertion checking is an invaluable programmer's tool for finding many classes of errors or
verifying their absence in dynamic languages such as Prolog. For Prolog programmers, this …

Instrumenting programs for performing runtime checking of properties, such as regular
shapes, is a common and useful technique that helps programmers detect incorrect program …

Approximations during program analysis are a necessary evil, as they ensure essential
properties, such as soundness and termination of the analysis, but they also imply not …

Context: analyzing/verifying software projects during development to:• detect and report
bugs as early as possible (eg, on-the-fly, at commit,…),• optimize code and libraries globally …

Instrumenting programs for performing run-time checking of properties, such as regular
shapes, is a common and useful technique that helps programmers detect incorrect program …

Automatic static analysis tools allow inferring properties about software without executing it
and without the need for human interaction. When these tools are based on formal methods …

Data is becoming an important source of information these days. According to the recent
Forbes survey, there are 2.5 quintillion bytes of data created each day at our current pace …

Detectar comportamientos incorrectos en los programas es una parte importante en el ciclo
de desarrollo de software. Es una tarea compleja y tediosa, especialmente en el contexto de …