Symbolic Model Checking
E239161
UNEXPLORED
Symbolic Model Checking is a formal verification technique that uses symbolic representations, such as binary decision diagrams, to efficiently verify properties of hardware and software systems with very large state spaces.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Edmund M. Clarke
→
|
notableWork |