Browsing Bergen Open Research Archive by Author "Eide, Anders Kåre"
Now showing items 1-1 of 1
-
To be Announced: Understanding and model checking Group Announcement Logic
Eide, Anders Kåre (Master thesis, 2019-07-10)In this master’s thesis we present a graphical model checking tool for group announcement logic called GALMC, capable of visualizing the process of checking formulas in a step-by-step fashion. We also define how to enumerate ...