Show simple item record

dc.contributor.author Iliasov, Alexei
dc.contributor.author Stankaitis, Paulius
dc.contributor.author Adjepon-Yamoah, David Ebo
dc.date.accessioned 2019-01-28T16:15:27Z
dc.date.available 2019-01-28T16:15:27Z
dc.date.issued 2015-04
dc.identifier.citation Preprint of paper from Sorge, Volker. 2015. Proceedings of the Automated Reasoning Workshop 2015 Bridging the Gap between Theory and Practice ARW 2015 9th-10th April 2015 School of Computer Science University of Birmingham Birmingham en_US
dc.identifier.uri http://hdl.handle.net/20.500.11988/404
dc.description Event-B, Rodin Platform, Theorem Proving, Cloud Computing, Proof Obligation en_US
dc.description.abstract We discuss the whys and hows of remotely managing a collection of automated theorem provers supporting verification of Event-B models in the Rodin Platform[5]. We report on the current state of the work, our general aspirations and a range of technical obstacles encountered so far. en_US
dc.description.sponsorship Newcastle University en_US
dc.language.iso en en_US
dc.publisher Final publisher: University of Birmingham en_US
dc.subject Event-B en_US
dc.subject Rodin Platform en_US
dc.subject theorem proving en_US
dc.subject cloud computing en_US
dc.subject proof obligation en_US
dc.title Event-B and Cloud Provers en_US
dc.type Preprint en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account