research
∙
06/21/2022
Static Analysis of Infrastructure as Code: a Survey
The increasing use of Infrastructure as Code (IaC) in DevOps leads to be...
share
research
∙
05/22/2021
A First-Order Complete Temporal Logic for Structured Context-Free Languages
The problem of model checking procedural programs has fostered much rese...
research
∙
10/21/2019
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages
The problem of model checking procedural programs has fostered much rese...
research
∙
03/11/2019
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
Verification of programs using floating-point arithmetic is challenging ...
research
∙
09/10/2018