A Lazy Unbounded Model Checker for Event-B

Matos, Paulo J., Fischer, Bernd and Silva, João P. Marques (2009) A Lazy Unbounded Model Checker for Event-B. ICFEM. pp. 485-503 .

Record type: Conference or Workshop Item (Paper)

Text

paper_final.pdf - Other

Download (534kB)

More information

Published date: 2009

Venue - Dates: ICFEM, 2009-01-01

Organisations: Electronics & Computer Science

Local EPrints ID: 271130

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

PURE UUID: c62940eb-ba25-47b6-b888-ee00ea144000

Date deposited: 19 May 2010 19:35

Last modified: 14 Mar 2024 09:23

Author: Paulo J. Matos

Author: Bernd Fischer

Author: João P. 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.