281 citations
- University of AmsterdamNL23 papers
- Eindhoven University of TechnologyNL21 papers
- College of Western IdahoUS6 papers
- Universidad Pública de Navarra (UPNA)ES4 papers
- University of WaterlooCA4 papers
- Vrije Universiteit AmsterdamNL4 papers
- Berkeley CollegeUS2 papers
- Data61AU2 papers
- ETH ZurichCH2 papers
- National University of SingaporeSG2 papers
- Radboud University NijmegenNL2 papers
- University of BristolGB2 papers
Showing 2009 · cs.LOShow all
2 papers · 2 filters
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…