pealkiri
Two State Space Reduction Techniques for Explicit State Model Checking.Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis
autor
Ernits, Juhan-Peep
märksõnad
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
väljaandja
TUT Press
juhendaja
Vain, Jüri
kaitsmiskuupäev
29.11.2007
identifikaator
ISBN 9789985597361
ISSN 14064731
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
Faculty of Information Technology
instituut / kolledž
Arvutiteaduse instituut
Department of Computer Science