UniversitéCôte d'zur;
CNRS;
I3S;
06903 Sophia Antipolis Cedex;
France;
School of Electrical Engineering and Computer Science;
University of Ottawa;
Ontario;
K1N 6N5;
Canada;
UniversitéCôte d'Azur;
INRIA SAM;
06902 Sophia Antipolis Cedex;
France;
UniversitéCôte d'Azur;
CNRS;
LEAT;
06903 Sophia Antipolis Cedex;
France;
UniversitéCôte d'Azur;
CNRS;
LJAD;
06108 Nice Cedex 02;
France;
neuronal networks; leaky integrate and fire modeling; synchronous languages; model checking; theorem proving; Lustre; Coq; formal methods;