Computer-Aided Verification A Special Issue of Formal Methods In System Design on Computer-Aided Verification / edited by Robert Kurshan.
Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is h...
Full description
Saved in: