Title: Automated Technology for Verification and Analysis
Subjects: Automatic theorem proving, Artificial intelligence