Reporting Races in Dynamic Partial Order Reduction
Year of publication
2015
Authors
Saarikivi, Olli; Heljanko, Keijo
Organizations and authors
Aalto University
Heljanko Keijo
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
7th International Symposium on NASA Formal Methods (NFM), Pasadena, CA, USA, April 27-29, 2015,
Publisher
Pages
450-456
ISSN
Publication forum
Publication forum level
0
Open access
Open access in the publisher’s service
No
Self-archived
No
Other information
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes