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 ...