Title: Automated technology for verification and analysis
Subjects: Congresses, Automatic theorem proving, Logic design, Information systems, Computer science, Software engineering