Event-B and Cloud Provers

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.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.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.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
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Iliasov_A, Stankaitis_P, Adjepon-Yamoah_D and Romanovsky_A_2016_Rodin Platform Why3 plug-in.pdf
Size:
247.61 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.67 KB
Format:
Item-specific license agreed upon to submission
Description: