Computer Aided Verification: Emerging Trends
Hardcover
$157.99
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Select a store to view item availability.
Computer aided verification strives to improve the quality of digital systems by analyzing their designs with the help of logical reasoning reinforced through automated software techniques. It is helpful in enhancing the reliability, correctness and robustness of the software systems. The goal is to create a mathematical model of a system and then attempt to prove its formal properties that either helps in detecting bugs or certifies the system's correctness. The proofs might be millions of...


