Race Analysis for SystemC Using Model Checking - Research Collection

Metadata only

Author

Blanc, Nicolas

Kroening, Daniel

Date

2010-05

Type

Journal Article

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/1754405.1754406

Journal / series

ACM transactions on design automation of electronic systems

Volume

15(3)

Pages / Article No.

Article No. 21

Publisher

Association for Computing Machinery

Subject

Algorithms; Verification; SystemC; Simulation; Partial-order reduction; Model checking; Formal analysis

Notes

.

More

Show all metadata

Citations

Cited 6 times in Web of Science

ETH Bibliography

yes

Altmetrics