Coverage Estimation in Model Checking with Bitstate Hashing
No Thumbnail Available
Files
Date
2013
Authors
Ikeda, Satoshi
Jibiki, Masahiro
Kuno, Yasushi
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