<p>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.</p>

Guidelines for Formal Verification Systems

Mayer, Barbara

Lu, Monica McGill

Computers & Technology

Diane Pub Co.

See the best price to sell, buy, or rent books by Lu, Monica McGill. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Lu, Monica McGill

See the best price to sell, buy, or rent books by Lu, Monica McGill. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Guidelines for Formal Verification Systems