Journal Title
Title of Journal:
|
|
|
Publisher
Springer, Berlin, Heidelberg
|
|
|
|
|
|
Authors: Randal E Bryant
Publish Date: 2006/8/12
Volume: , Issue: , Pages: 1-3
Abstract
Most successful automated formal verification tools are based on a bitlevel model of computation where a set of Boolean state variables encodes the system state Using powerful inference engines such as Binary Decision Diagrams BDDs and Boolean satisfiability SAT checkers symbolic model checkers and similar tools can analyze all possible behaviors of very large finitestate systems
Keywords:
.
|
Other Papers In This Journal:
|