Vérification de SMA

Vérification par abstraction

Méthode réduisant la complexité du SMA en créant un modèle simplifié préservant les propriétés pertinentes à vérifier. Permet de contourner l'explosion combinatoire de l'espace d'états des systèmes complexes.

← Kembali