Race Analysis for SystemC Using Model Checking
dc.contributor.author
Blanc, Nicolas
dc.contributor.author
Kroening, Daniel
dc.date.accessioned
2017-06-09T00:01:02Z
dc.date.available
2017-06-09T00:01:02Z
dc.date.issued
2010-05
dc.identifier.issn
1084-4309
dc.identifier.issn
1557-7309
dc.identifier.other
10.1145/1754405.1754406
dc.identifier.uri
http://hdl.handle.net/20.500.11850/20763
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.subject
Algorithms
dc.subject
Verification
dc.subject
SystemC
dc.subject
Simulation
dc.subject
Partial-order reduction
dc.subject
Model checking
dc.subject
Formal analysis
dc.title
Race Analysis for SystemC Using Model Checking
dc.type
Journal Article
ethz.journal.title
ACM Transactions on Design Automation of Electronic Systems
ethz.journal.volume
15
ethz.journal.issue
3
ethz.journal.abbreviated
ACM transact. des. automat. electron. syst.
ethz.pages.start
Article No. 21
ethz.size
8 p.
ethz.identifier.wos
ethz.identifier.nebis
002026572
ethz.publication.place
New York, NY
ethz.publication.status
published
ethz.date.deposited
2017-06-09T00:01:08Z
ethz.source
ECIT
ethz.identifier.importid
imp59364cbeeb0e071682
ethz.ecitpid
pub:33272
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T23:05:36Z
ethz.rosetta.lastUpdated
2024-02-01T16:01:57Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Race%20Analysis%20for%20SystemC%20Using%20Model%20Checking&rft.jtitle=ACM%20Transactions%20on%20Design%20Automation%20of%20Electronic%20Systems&rft.date=2010-05&rft.volume=15&rft.issue=3&rft.spage=Article%20No.%2021&rft.issn=1084-4309&1557-7309&rft.au=Blanc,%20Nicolas&Kroening,%20Daniel&rft.genre=article&rft_id=info:doi/10.1145/1754405.1754406&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Journal Article [128906]