Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Automated Verification = Graphs, Automata, and Logic
| |
|
Automated Verification = Graphs, Automata, and Logic
Moshe Y. Vardi6
| (6) |
Department of Computer Science, Rice University, Houston, TX 77005-1892, USA |
Abstract
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.
Supported in part by NSF grant CCR-9700061, and by a grant from the Intel Corporation. URL: http://www.cs.rice.edu/~vardi.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|