
A FirstOrder Complete Temporal Logic for Structured ContextFree Languages
The problem of model checking procedural programs has fostered much rese...
read it

POTL: A FirstOrder Complete Temporal Logic for Operator Precedence Languages
The problem of model checking procedural programs has fostered much rese...
read it

Correct Approximation of IEEE 754 FloatingPoint Arithmetic for Program Verification
Verification of programs using floatingpoint arithmetic is challenging ...
read it

Temporal Logic and Model Checking for Operator Precedence Languages
In the last decades much research effort has been devoted to extending t...
read it
Michele Chiari
is this you? claim profile