Sökning: "Oskar Grekula"

Hittade 2 uppsatser innehållade orden Oskar Grekula.

1. 1. SeqLTL and ωLTL

   Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Oskar Grekula; [2023-10-19]
   Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

   Sammanfattning : 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. LÄS MER

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

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Nicke Carlsson; Simon Edvardsson; Oskar Grekula; Erik Ljungdahl; Jennie Zhou; [2020-10-30]
   Nyckelord :;

   Sammanfattning : 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. LÄS MER