An experiment in automatic verification of programs

Alessandro Morari, Roberto Gioiosa, et al.

IPDPS 2011

Lixi Zhou, Jiaqing Chen, et al.

VLDB

Yao Qi, Raja Das, et al.

ISSTA 2009

J.P. Locquet, J. Perret, et al.

SPIE Optical Science, Engineering, and Instrumentation 1998