Computer aided verification: 11th international conference, cav'99, trento, italy, july 6-10, 1999, proceedings: 11th: international conference, cav '99, trento, italy, july 6-10, 1999, proceedings
Auteur :
Halbwachs, Nicolas
ISBN :
9783540662020
Date de publication :
23 juin 1999
Dimensions :
23,4 x 15,6 x 2,6 cm
Poids :
727 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume covers the 11th International Conference on Computer Aided Verification held in Italy in July 1999. It includes sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic and modelling of systems.