"Circuits intégrés Vérification Congrès." . . "Software." . . "Software" . "Circuits intégrés Vérification (logique) Congrès." . . "Conception assistée par ordinateur." . . "FMCAD 2000 (2000 : Austin, Tex.)" . . . "International Conference on Formal Methods in Computer-Aided Design." . . . "International Conference on Formal Methods in Computer-Aided Design (3 : 2000 : Austin)" . . . "Software Testen Programmanalyse Formale Methode Kongress Austin <Tex., 2000>" . . "Micro-elektronica." . . "Biannual Formal Methods in Computer-Aided Design Conference (3 : 2000 : Austin)" . . . "FMCAD (3 : 2000.11.01-03 : Austin, Tex.)" . . . "FMCAD (3 2000.11.01-03 Austin, Tex.)" . "Austin <Tex., 2000>" . . "Programmanalyse." . . "Programmanalyse" . "Entwurfsautomation." . . "CAD Verifikation Formale Methode Kongress Austin <Tex., 2000>" . . "Logics and Meanings of Programs." . . "méthode formelle." . . "Méthode formelle." . "conception système." . . "Mathematical Logic and Formal Languages." . . "FMCAD" . . "Automatische bewijsvoering." . . "International Conference on Formal Methods in Computer-Aided Design," . . "Computer hardware." . . "Computer Hardware." . "Verifikation." . . "Verifikation" . "International Conference on Formal Methods in Computer-Aided Design, FMCAD (3 : 01-11-2000 - 03-11-2000 : Austin, TX)" . . . "Systems and Information Theory in Engineering." . . "Model Checking." . . "Model Checking" . "vérification formelle." . . "Vérification formelle." . "conception assistée par ordinateur logique formelle [congrès]" . . "FMCAD <3, 2000, Austin, Tex.>" . . . "CAD." . . "CAD" . "Ordinateurs Conception et construction Conception assistée par ordinateur Congrès." . . "CAD Verifikation Model Checking Kongress Austin <Tex., 2000>" . . "CAO." . . "International Conference Formal Methods in Computer-Aided Design (3 : 2000.11.01-03 : Austin, Tex.)" . . . "International Conference Formal Methods in Computer-Aided Design (3 2000.11.01-03 Austin, Tex.)" . "Circuit intégré numérique." . . "spécification formelle." . . "Formale Methode." . . "Formale Methode" . "Kongress." . . "Testen." . . "Testen" . "Formal methods in computer aided design : third international conference ; proceedings" . . "Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 : Proceedings" . . . . . . . . . . . . . . "Electronic books" . "Electronic books"@en . . . . . . . . . . "Formal methods in computer-aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings" . "Formal methods in computer-aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings"@en . . "This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000. The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems." . "This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000. The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems."@en . "Kongress" . . . . . "Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings" . . . . . . . . "Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 proceedings" . . . . . . . . . . . . . . "Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings" . . . . . . . "Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings" . . "Formal methods in computer-aided design third international conference : proceedings" . . . . "Austin (Tex., 2000)" . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . "Online-Publikation" . . . . . . . . . "Formal methods in computer aided design third international conference ; proceedings" . . "Formal methods in computer-aided design : third international conference, Austin, TX, USA, November 1 - 3, 2000 ; proceedings" . . . . . . . . . . "FMCAD 2000" . . "FMCAD 2000 ((03. : 2000 : Austin, Texas))" . . . "International Conference on Formal Methods in Computer-Aided Design (3 : 2000, November 1-3 : Austin, TX, USA)" . . . . . "Artificial Intelligence (incl. Robotics)" . .