Title: Formal methods in computer-aided design
Subjects: Computer-aided design, Congresses, Design and construction, Digital integrated circuits, Formal methods (Computer science), Integrated circuits, Mathematics, Verification, Circuit integre numerique, Conception et construction, Methode formelle, Conception assistee par ordinateur, Congres, Mathematiques, Circuits integres numeriques, Model-checking (Informatique), Methodes formelles (Informatique), Circuits integres, Software engineering, Circuits intégrés numériques, Conception assistée par ordinateur, Congrès, Circuits intégrés, Vérification, Méthodes formelles (Informatique), Mathématiques, Méthode formelle, Circuit intégré numérique