Essays about: "Theo Puranen Åhfeldt"

Found 1 essay containing the words Theo Puranen Åhfeldt.

  1. 1. Extracting scalable program models for TLA model checking

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Anders Ågren Thuné; Theo Puranen Åhfeldt; [2020]
    Keywords : ;

    Abstract : Program verification has long been of interest to researchers and practitioners for its role in asserting reliability in critical systems. Many such systems feature reactive behavior, where temporal properties are of interest. Consequently, a number of systems and program verification tools for dealing with temporal logic have been developed. READ MORE