Search Techniques and Automata for Symbolic Model Checking (2001)
by
Roderick P. Bloem
| Citations: | 1 - 0 self |
BibTeX
@MISC{Bloem01searchtechniques,
author = {Roderick P. Bloem},
title = {Search Techniques and Automata for Symbolic Model Checking},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Model checking addresses correctness of finite-state systems by formal methods. It automatically either proves the user-defined properties of the system correct, or...
