877525
9780788105524
Out of Stock
The item you're looking for is currently unavailable.
Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-quality formal verification systems. Explains the requirements and the process used to evaluate formal verification systems. Includes: evaluation approach, methodology and system specification, and implementation and other support factors. Glossary and bibliography.Guidelines for Formal Verification Systems, with ISBN 9780788105524 and ISBN 0788105523.
[read more]