Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Automatic analysis of DMA races using model checking and k-induction
File(s)
fmsd-dma.pdf (601.88 KB)
Accepted version
Author(s)
Donaldson, AF
Kroeining, D
Ruemmer, P
Type
Journal Article
Date Issued
2011-08
Citation
Formal Methods in System Design, 2011, 39 (1), pp.83-113
URI
DOI
ISSN
0925-9856
Publisher
Springer
Start Page
83
End Page
113
Journal / Book Title
Formal Methods in System Design
Volume
39
Issue
1
Copyright Statement
The final publication is available at Springer via http://dx.doi.org/10.1007/s10703-011-0124-2
License URL
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000292565100003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Publication Status
Published