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