A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking


Turner, Edd, Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking At ABZ 2010, Canada.

Download

[img] PDF paper_40.pdf - Other
Download (258kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: February 2010
Venue - Dates: ABZ 2010, Canada, 2010-02-01
Organisations: Electronic & Software Systems
ePrint ID: 268423
Date :
Date Event
2010Accepted/In Press
Date Deposited: 27 Jan 2010 17:06
Last Modified: 17 Apr 2017 18:34
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268423

Actions (login required)

View Item View Item