Browsing by Author "Adjepon-Yamoah, David Ebo"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Event-B and Cloud Provers(Final publisher: University of Birmingham, 2015-04) Iliasov, Alexei; Stankaitis, Paulius; Adjepon-Yamoah, David EboWe 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.