Race analysis for systemc using model checking
- Blanc, Nicolas ETH Zurich, Zurich, Switzerland
- Kroening, Daniel Oxford University, Welington Square, UK
Published in:
- ACM Transactions on Design Automation of Electronic Systems. - Association for Computing Machinery (ACM). - 2010, vol. 15, no. 3, p. 1-32
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.1145/1754405.1754406
- ISSN 1084-4309
- Persistent URL
- https://sonar.ch/global/documents/272087
Statistics
Document views: 35
File downloads:
- Full-text: 0