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. ABZ2008, London, United Kingdom.

Record type: Conference or Workshop Item (Paper)

Text

jpms-abz08-1p.pdf - Other

Download (34kB)

More information

Published date: September 2008

Additional Information: Event Dates: September 2008

Venue - Dates: ABZ2008, London, United Kingdom, 2008-09-01

Organisations: Electronics & Computer Science

Local EPrints ID: 265438

URI: http://eprints.soton.ac.uk/id/eprint/265438

PURE UUID: 1f8e8170-4b40-4c3c-9065-ea4a16c2f741

Date deposited: 15 Apr 2008 22:29

Last modified: 14 Mar 2024 08:09

Author: Paulo De Oliveira Cantante De Matos

Author: Joao Marques-Silva

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.