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

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

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

    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
    Publication statusPublished - 2010
    EventRodin User and Developer Workshop 2010 - University of Düsseldorf, Düsseldorf, Germany
    Duration: 20 Sept 201022 Sept 2010


    WorkshopRodin User and Developer Workshop 2010
    OtherThe workshop was colocated with AVOCS 2010, the 10th International Workshop on Automated Verification of Critical Systems, September 21-23, 2010
    Internet address

    Cite this