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. In, ABZ 2010, Orford, Canada,

Download

[img] PDF
Download (252Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: February 2010
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 268423
Date Deposited: 27 Jan 2010 17:06
Last Modified: 27 Mar 2014 20:15
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/268423

Actions (login required)

View Item View Item