Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- Ph. Ayrault, Th. Hardin, F. Pessaux : “Development of a Generic Voter under FoCal”, Proceedings of the 3rd International Conference on Tests and Proofs, vol. 5668, Lecture Notes in Computer Science, Zurich, Switzerland, pp. 10-26, (Springer) [Ayrault 2009b]
- M. Carlier, C. Dubois, L. Habib, M. Jaume : “Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL”, AFADL'09 - Approches formelles dans l'assistance au développement des Logiciels, Toulouse, France, pp. 145-160 [Carlier 2009]
- I. Noyer, R. Rioboo : “Reusing Proofs in a Mathematical Library”, Calculemus 2009 - 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, Ontario, Canada [Noyer 2009]