Can I read MC Cours4 on EtoBox?

MC Cours4 by Franc Zogning is a document available to read on EtoBox.

What is MC Cours4 about?

Ce document présente des algorithmes de model checking, en se concentrant sur les automates de Büchi, CTL et Fair CTL. Il décrit les techniques de vérification automatique de systèmes réactifs, ainsi que des méthodes pour tester la vacuité, l

Author

Franc Zogning

Language

FR