Title: Automated Technology for Verification and Analysis
Subjects: Logic design, Computer networks, Computer science, Software engineering, Congresses, Automatic theorem proving