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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (252Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: February 2010 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 268423 |
| Date Deposited: | 27 Jan 2010 17:06 |
| Last Modified: | 24 Aug 2012 03:20 |
| Contributors: | Turner, Edd (Author) Butler, Michael (Author) Leuschel, Michael (Author) |
| Date: | 2010 |
| Additional Information: | Event Dates: February 2010 |
| Status: | Unpublished |
| Further Information: | Google Scholar |
| ISI Citation Count: | 0 |
| URI: | http://eprints.soton.ac.uk/id/eprint/268423 |
Actions (login required)
 |
View Item |
