De Oliveira Cantante De Matos, P. and Marques-Silva, J. (2008) Model Checking Event-B by Encoding into Alloy. Technical Report UNSPECIFIED, Electronics and Computer Science, University of Southampton.
Download
![[img]](http://eprints.ecs.soton.ac.uk/style/images/fileicons/application_pdf.png)
| PDF 112Kb |
| Creators: | Paulo De Oliveira Cantante De Matos, Joao Marques-Silva |
|---|---|
| Item Type: | Technical Report |
| Additional Information: | ArXiv Report arXiv:0805.3256 |
| Research Group: | Dependable Systems and Software Engineering Research Group |
| Deposited On: | 10 Jun 2008 18:41 by Marques-Silva, Joao |
| Alternative Locations: | http://arxiv.org/abs/0805.3256 |
| ID Code: | 15893 |
| Last Modified: | 18 Feb 2010 16:01 |
| Performance Indicator: | EZ~02~02~17 |
Tools
Metadata
Download Statistics
Members of ECS may view the download statistics dashboard for this record.
Corrections
ECS staff and postgraduates may modify this record
