Symbolic Model Checking /
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. When the method of proof is carried out substan...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
1993.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
