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;