Essays about: "Oskar Grekula"

Found 2 essays containing the words Oskar Grekula.

  1. 1. SeqLTL and ωLTL

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Oskar Grekula; [2023-10-19]
    Keywords : Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Abstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE

  3. 2. Spira: A language for prototyping grid board games with linear logic in Haskell

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Nicke Carlsson; Simon Edvardsson; Oskar Grekula; Erik Ljungdahl; Jennie Zhou; [2020-10-30]
    Keywords : ;

    Abstract : This project explores the process of creating a board game model and introduces a new high level domain-specific language called Spira that specialises in prototyping grid board games. Spira is a DSL, embedded in Haskell, that generates Ceptre code. READ MORE