Discovery - University of Dundee - Online Publications

Library & Learning Centre

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View graph of relations

Authors

  • Maria Teresa Llano
  • Andrew Ireland
  • Alison Pease
  • Simon Colton
  • John Charnley

Research units

Info

Original languageEnglish
Title of host publicationProceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010
EditorsJens Bendisposto, Michael Leuschel, Markus Roggenbach, Stefan Halle
Place of PublicationDüsseldorf
PublisherUniversity of Düsseldorf
Number of pages2
StatePublished - 2010
EventRodin User and Developer Workshop 2010 - Düsseldorf, Germany

Workshop

WorkshopRodin User and Developer Workshop 2010
CountryGermany
CityDüsseldorf
Period20/09/1022/09/10
OtherThe workshop was colocated with AVOCS 2010, the 10th International Workshop on Automated Verification of Critical Systems, September 21-23, 2010
Internet address

Documents

Library & Learning Centre

Contact | Accessibility | Policy