Scalable Techniques for Formal Verification

Name: Scalable Techniques for Formal Verification
Author: Sandip Ray

Cover of Scalable Techniques for Formal Verification

No description available.

Systems engineeringEngineeringComputer-aided designComputer systemsFormal methods (Computer science)VerificationAutomatic theorem provingSystem designElectronic systems