Race Analysis for SystemC Using Model Checking
Metadata only
Date
2010-05Type
- Journal Article
Publication status
publishedExternal links
Journal / series
ACM Transactions on Design Automation of Electronic SystemsVolume
Pages / Article No.
Publisher
Association for Computing MachinerySubject
Algorithms; Verification; SystemC; Simulation; Partial-order reduction; Model checking; Formal analysisMore
Show all metadata