Verification Methods

Synchronous Observers

System

Observer

BUG

Use of existing parallelism (no new formalism)

Safety and bounded liveness properties

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique