Using automated theory formation to discover invariants of event-B models

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010
Editors	Jens Bendisposto, Michael Leuschel, Markus Roggenbach, Stefan Halle
Place of Publication	Düsseldorf
Publisher	University of Düsseldorf
Number of pages	2
Publication status	Published - 2010
Event	Rodin User and Developer Workshop 2010 - University of Düsseldorf, Düsseldorf, Germany Duration: 20 Sept 2010 → 22 Sept 2010 http://www.event-b.org/rodin10.html

Workshop	Rodin User and Developer Workshop 2010
Country/Territory	Germany
City	Düsseldorf
Period	20/09/10 → 22/09/10
Other	The workshop was colocated with AVOCS 2010, the 10th International Workshop on Automated Verification of Critical Systems, September 21-23, 2010
Internet address	http://www.event-b.org/rodin10.html

Access to Document

@inproceedings{372a169c04b4477c8441187b66b1746e,

title = "Using automated theory formation to discover invariants of event-B models",

author = "\{Teresa Llano\}, Maria and Andrew Ireland and Alison Pease and Simon Colton and John Charnley",

year = "2010",

language = "English",

editor = "Jens Bendisposto and Michael Leuschel and Markus Roggenbach and Stefan Halle",

booktitle = "Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010",

publisher = "University of D{\"u}sseldorf",

note = "Rodin User and Developer Workshop 2010 ; Conference date: 20-09-2010 Through 22-09-2010",

url = "http://www.event-b.org/rodin10.html",

}

Teresa Llano, M, Ireland, A, Pease, A, Colton, S & Charnley, J 2010, Using automated theory formation to discover invariants of event-B models. in J Bendisposto, M Leuschel, M Roggenbach & S Halle (eds), Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010. University of Düsseldorf, Düsseldorf, Rodin User and Developer Workshop 2010, Düsseldorf, Germany, 20/09/10. <http://staff.computing.dundee.ac.uk/alisonpease/>

Using automated theory formation to discover invariants of event-B models. / Teresa Llano, Maria; Ireland, Andrew; Pease, Alison et al.
Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010. ed. / Jens Bendisposto; Michael Leuschel; Markus Roggenbach; Stefan Halle. Düsseldorf: University of Düsseldorf, 2010.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Using automated theory formation to discover invariants of event-B models

AU - Teresa Llano, Maria

AU - Ireland, Andrew

AU - Pease, Alison

AU - Colton, Simon

AU - Charnley, John

PY - 2010

Y1 - 2010

M3 - Conference contribution

BT - Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010

A2 - Bendisposto, Jens

A2 - Leuschel, Michael

A2 - Roggenbach, Markus

A2 - Halle, Stefan

PB - University of Düsseldorf

CY - Düsseldorf

T2 - Rodin User and Developer Workshop 2010

Y2 - 20 September 2010 through 22 September 2010

ER -