Coverage Estimation in Model Checking with Bitstate Hashing
No Thumbnail Available
Files
Date
2013
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
477-486 p. ; 788ko.
Keywords
Adressage calculé (informatique), Hachage (informatique), Estimation de la couverture