Coverage Estimation in Model Checking with Bitstate Hashing

dc.contributor.author	Ikeda, Satoshi
dc.contributor.author	Jibiki, Masahiro
dc.contributor.author	Kuno, Yasushi
dc.date.accessioned	2022-02-28T12:21:29Z
dc.date.available	2022-02-28T12:21:29Z
dc.date.issued	2013
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9031
dc.description	477-486 p. ; 788ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Adressage calculé (informatique)	en_US
dc.subject	Hachage (informatique)	en_US
dc.subject	Estimation de la couverture	en_US
dc.title	Coverage Estimation in Model Checking with Bitstate Hashing	en_US
dc.type	Article	en_US