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. In, ICFEM , 485-503.

Download

PDF
Download (522Kb)

Item Type:	Conference or Workshop Item (Paper)
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID:	271130
Date Deposited:	19 May 2010 19:35
Last Modified:	01 Mar 2012 14:49
Contributors:	Matos, Paulo J. (Author) Fischer, Bernd (Author) Silva, João P. Marques (Author)
Date:	2009
Status:	Published
Further Information:	Google Scholar
ISI Citation Count:	1
URI:	http://eprints.soton.ac.uk/id/eprint/271130

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

View Item