Symbolic Model Verifier
E2000680
UNEXPLORED
Symbolic Model Verifier is a formal verification tool that uses symbolic model checking techniques to automatically verify properties of hardware and software systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Symbolic Model Verifier canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.