Le séminaire Vérification et Preuves
Le séminaire SVP a lieu tous les deux mois, en alternance entre le LRI et le LSV. Le séminaire est public et ne nécessite aucune inscription préalable.
Séminaires passés
Le kit de survie des systèmes bien structurés
- Date
- Le vendredi 31 mars 2017 à 10:00
- Lieu
- LRI (grand amphi du PUIO bat 640)
- Orateur
- Alain Finkel (LSV)
Je vais présenter les WSTS, leur utilité et les résultats qui me semblent les plus importants pour des applications. Je ferai également un historique qui commence au LRI en juin 1986. Puis je parlerai des WSTS sans WQO.