Automated Verification: Graphs, Logic, and Automata

Vardi, Moshe Y.

Automated Verification: Graphs, Logic, and Automata

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 1603-1605.

Abstract

Automated verification is one of the most successful applications of automated reasoning in computer science. In automated verification one uses algorithmic techniques to establish the correctness of the design with respect to a given property. Automated 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.

Moshe Y. Vardi. 2003. Automated Verification: Graphs, Logic, and Automata. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 1603–1605. https://ijcai.org/proceedings/2003/280

@inproceedings{ijcai2003p280,
  title     = {Automated Verification: Graphs, Logic, and Automata},
  author    = {Vardi, Moshe Y.},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {1603--1605},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/280},
}

TY  - CPAPER
TI  - Automated Verification: Graphs, Logic, and Automata
AU  - Vardi, Moshe Y.
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 1603
EP  - 1605
UR  - https://ijcai.org/proceedings/2003/280
ER  -