Ashesi Institutional Repository

Faculty Scholarly Publications

Faculty Scholarly Publications

 

Recent Submissions

  • 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 ...
  • Iliasov, Alexei; Stankaitis, Paulius; Adjepon-Yamoah, David; Romanovsky, Alexander (Springer, Cham, 2016-05)
    We briefly present the motivation, architecture and usage experience as well as proof statistics for a new Rodin Platform proof back-end based on the Why3 umbrella prover. Why3 offers a simple and versatile notation as a ...
  • Buchele, Suzanne Fox (Consortium for Computing Sciences in Colleges, USA, 2009-04)
    The One Laptop Per Child project has succeeded in developing a novel computer that is tailored to the particular needs of the developing world. The use of this example of a modern computer systems design ...