Ashesi Institutional Repository

Browsing by Author "Romanovsky, Alexander"

Browsing by Author "Romanovsky, Alexander"

Sort by: Order: Results:

  • 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 ...



My Account