title
Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
author
Ernits, Juhan-Peep
keywords
verifitseerimine
mudelipõhine testimine
olekute otseesitusega mudelikontroll
sümmeetriareduktsioon
olekugraafide isomorfism
oleku bitina esituse reduktsioon
itereeritud otsingutäpsustus
oleku bitina esitusel põhinev olekuruumi kärpimise tehnika
dissertatsioonid
verification
model-based testing
explicit state model checking
symmetry reduction
state graph isomorphism
bitstate hashing
iterated search refinement
bitstate pruning
dissertations
publisher
TUT Press
supervisor
Vain, Jüri
defence date
29.11.2007
identifier
ISBN 9789985597361
ISSN 14064731
language
eng
institution
Tallinna Tehnikaülikool
Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
department / college
Arvutiteaduse instituut
Department of Computer Science