Formal methods in computer-aided design: third international conference, fmcad 2000 austin, tx, usa, november 1-3, 2000 proceedings
Auteur :
Hunt, Warren A.
ISBN :
9783540412199
Date de publication :
18 oct. 2000
Dimensions :
23,4 x 15,6 x 2,9 cm
Poids :
781 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This title reviews computer-aided design. Topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modelling, program semantics, theorem proving, symbolic simulation, and transition systems.