| Underlying
technology |
|
|
|
|
|
|
|
|
|
| • | Started
using explicit model checking |
|||||||
| • | Tried
symbolic model checking |
|||||||
| – | Better
in some cases, but highly unpredictable |
|||||||
| • | Now,
SAT solvers |
|||||||
