A. Cimatti

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Verifying Heap-Manipulating Programs in an SMT Framework

Z. Rakamaric and others (2007) · Springer Berlin Heidelberg

From PSL to NBA: a Modular Symbolic Encoding

A. Cimatti and others (2006) · IEEE

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

A. Cimatti (2002) · Springer Berlin Heidelberg