We address the problem of checking the satisfiability of a set of constr...
The functional properties of a program are often specified by providing ...
We address the problem of verifying that the functions of a program meet...
We address the problem of checking the satisfiability of Constrained Hor...
This paper surveys recent work on applying analysis and transformation
t...
This paper presents a brief account of some of the my early research
int...
We address the problem of proving the satisfiability of Constrained Horn...
It is known that the verification of imperative, functional, and logic
p...
The proof of a program property can be reduced to the proof of satisfiab...
Dynamically typed languages, like Erlang, allow developers to quickly wr...
We address the problem of verifying the satisfiability of Constrained Ho...
Relational verification is a technique that aims at proving properties t...
It is well-known that the verification of partial correctness properties...
We present a method for the automated verification of temporal propertie...