The aim of the ARROWS project is to design new logical frameworks for specifying, verifying and debugging programs operating on pointer-based data-structures.

It is supported by the french Agence Nationale de la Recherche (2006-2008).

Scientific head : R. Echahed

Phone: (+33) 4 76 57 46 73      
Fax : (+33) 4 76 57 46 02