Blar i Department of Information Science and Media Studies på emneord "Public Announcement Logic"
Viser treff 1-1 av 1
-
To be Announced: Understanding and model checking Group Announcement Logic
(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 ...