Title: Computer Aided Verification
Subjects: Computer software, verification, Computer software, Congresses, Verification, Integrated circuits, Electronic digital computers, Evaluation, Circuits intégrés, Congrès, Vérification, Logiciels, Verificatie, Software, Ingénierie assistée par ordinateur, Conception assistée par ordinateur, Système informatique, Vérification de logiciels, Vérification formelle