Vérification de SMA

Model checking pour SMA

Technique automatique de vérification explorant exhaustivement l'espace d'états d'un SMA pour valider des propriétés temporelles. Particulièrement adaptée aux systèmes avec un nombre fini d'états et de comportements déterministes.

← Geri