Søg i arrangementer

  • 15. juni 2018, kl. 13:15-14:15

    BARC/EADS Talk by Petteri Kaski

    On Friday 15 June 2018 , assistant professor Petteri Kaski from Aalto University, Helsinki, Finland will give a talk at BARC on "How proofs are prepared at Camelot".

    » Læs mere

  • 15. juni 2018, kl. 14:00-15:00

    COPLAS talk by Zhoulai Fu

    At this talk Zhoulai FU will present a new, general method for reasoning about program correctness. The idea is to reduce the problem of verifying/testing a program into that of minimizing a derived representing function, which avoids static or symbolic reasoning about the program semantics.

    » Læs mere