S. Dellacherie

Software Verification Based on Linear Programming

Jean-Luc Lambert, Samuel Devulder, S. Dellacherie, 1999, World Congress on Formal Methods.

Improve - HDL - a DO-254 formal property checker used for design and verification of avionics protocol controllers

S. Dellacherie, L. Burgaud, P. di Crescenzo, 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.