Reporting Races in Dynamic Partial Order Reduction

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publication7th International Symposium on NASA Formal Methods (NFM), Pasadena, CA, USA, April 27-29, 2015,
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherSpringer-verlag Berlin
ISSN (Print)0302-9743

ID: 1971435