Event-B and Cloud Provers

Simple item page
dc.contributor.authorIliasov, Alexei
dc.contributor.authorStankaitis, Paulius
dc.contributor.authorAdjepon-Yamoah, David Ebo
dc.date.accessioned2019-01-28T16:15:27Z
dc.date.available2019-01-28T16:15:27Z
dc.date.issued2015-04
dc.descriptionEvent-B, Rodin Platform, Theorem Proving, Cloud Computing, Proof Obligationen_US
dc.description.abstractWe discuss the whys and hows of remotely managing a collection of automated theorem provers supporting veriļ¬cation 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.sponsorshipNewcastle Universityen_US
dc.identifier.citationPreprint 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 Birminghamen_US
dc.identifier.urihttp://hdl.handle.net/20.500.11988/404
dc.language.isoenen_US
dc.publisherFinal publisher: University of Birminghamen_US
dc.subjectEvent-Ben_US
dc.subjectRodin Platformen_US
dc.subjecttheorem provingen_US
dc.subjectcloud computingen_US
dc.subjectproof obligationen_US
dc.titleEvent-B and Cloud Proversen_US
dc.typePreprinten_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:
Download

Collections

Faculty Scholarly Publications