Automated Verification: Graphs, Logic, and Automata

Automated verification is one of the most success­ ful applications of automated reasoning in com­ puter science. In automated verification one uses algorithmic techniques to establish the correctness of the design with respect to a given property. Au­ tomated verification is based on a small number of key algorithmic ideas, tying together graph theory, automata theory, and logic. In this self-contained talk I will describe how this "holy trinity" gave rise to automated-verification tools, and mention some applications to planning.

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Moshe Y. Vardi
• Keywords: Au­ Tomated Verification, IJCAI 2003, IJCAI 2007, Key Algorithmic Ideas, Success­ Ful Applications