Ashesi Institutional Repository

Browsing by Author "Adjepon-Yamoah, David Ebo"

Browsing by Author "Adjepon-Yamoah, David Ebo"

Sort by: Order: Results:

  • Iliasov, Alexei; Stankaitis, Paulius; Adjepon-Yamoah, David Ebo (Final publisher: University of Birmingham, 2015-04)
    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 ...



My Account