Model Checking Event-B by Encoding into Alloy


De Oliveira Cantante De Matos, Paulo and Marques-Silva, Joao (2008) Model Checking Event-B by Encoding into Alloy.

Download

[img] PDF
Download (112Kb)
Item Type: Monograph (Technical Report)
Additional Information: ArXiv Report arXiv:0805.3256
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 265893
Date Deposited: 10 Jun 2008 17:41
Last Modified: 27 Mar 2014 20:10
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265893

Actions (login required)

View Item View Item