Computational challenges in bounded model checking

International Journal on Software Tools for Technology Transfer (STTT) 2005 / 04 Vol. 7; Iss. 2

Computational challenges in bounded model checking

Edmund Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
7
Langue:
english
Pages:
10
DOI:
10.1007/s10009-004-0182-5
Date:
April, 2005
Fichier:
PDF, 343 KB
english, 2005
La conversion en est effectuée
La conversion en a échoué