Computer aided verification: 13th international conference, cav 2001, paris, france, july 18-22, 2001. proceedings: 13th international conference, cav 2001, paris, france, july 18-22, 2001.proceedings
Auteur :
Berry, Gerard
ISBN :
9783540423454
Date de publication :
4 juil. 2001
Dimensions :
23,3 x 15,5 x 2,7 cm
Poids :
749 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this work cover topics such as: model checking and theorem proving; automata techniques; verification core technology; BDD and decision trees; abstraction and refinement; combinations; infinite state systems; and temporal logics and verification.