Vers un Model Checking avec Accélération Plate des Systèmes ...
Le solveur. SAT conçu est basé sur l'algorithme PODEM [55] qui est généralement utilisé pour résoudre les problèmes de génération de test. Ici, ...Télécharger Vers un Model Checking avec Accélération Plate des Systèmes ... pdf
