Race Analysis for SystemC Using Model Checking
Publication status
publishedJournal / series
ACM transactions on design automation of electronic systemsVolume
Pages
Publisher
Association for Computing MachinerySubject
Algorithms; Verification; SystemC; Simulation; Partial-order reduction; Model checking; Formal analysisNotes
.More
Show all metadata