95 citations · 208 across the 21 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Modular Verification of Recursive Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
We argue that verification of recursive programs by means of the assertional method of C.A.R. Hoare can be conceptually simplified using a modular reasoning. In this approach some…
cs.LO2009★ 1 cited
Common Knowledge in Interaction Structures
Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper
We consider two simple variants of a framework for reasoning about knowledge amongst communicating groups of players. Our goal is to clarify the resulting epistemic issues. In part…