CASSIS
Un article de Loria Wiki.
Combining ApproacheS for the Security of Infinite state Systems
[modifier]
Description de l'équipe
Le but du Projet CASSIS est de concevoir et développer des outils d'analyse de systèmes à nombre d'états infinis. Les outils mises en œuvres pour garantir la sûreté de ces systèmes sont les méthodes de automatiques de génération de preuves, les méthodes d'exploration symbolique de modèles, et les méthodes de génération de tests.
Plus d'informations sur le site web de CASSIS.
[modifier]
Documents de travail
Retour à la page d'Accueil
