C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification of Synchronizers.
Tsachy Kapschitz
Ran Ginosar
Published in:
CHARME (2005)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
multistage
decision feedback
program slicing
data compression
multi agent
control system
rough sets
temporal logic