Show simple item record Iliasov, Alexei Stankaitis, Paulius Adjepon-Yamoah, David Ebo 2019-01-28T16:15:27Z 2019-01-28T16:15:27Z 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.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



My Account