19 citations · 70 across the 21 of their papers we have counts for
21 papers
ProofBuddy: How it Started, How it's Going
Nadine Karsten, Kim Jana Eiken, Uwe Nestmann
We report on our journey to develop ProofBuddy, a web application that is powered by a server-side instance of the proof assistant Isabelle, for the teaching and learning of proofs…
ProofBuddy: A Proof Assistant for Learning and Monitoring
Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken +2
Proof competence, i.e. the ability to write and check (mathematical) proofs, is an important skill in Computer Science, but for many students it represents a difficult challenge. T…
FTMPST: Fault-Tolerant Multiparty Session Types
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e…
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Benjamin Bisping, David N. Jansen, Uwe Nestmann
We introduce a generalization of the bisimulation game that finds distinguishing Hennessy-Milner logic formulas from every finitary, subformula-closed language in van Glabbeek's li…
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
The additional complexity caused by concurrently communicating processes in distributed systems render the verification of such systems into a very hard problem. Multiparty session…
On the Distributability of Mobile Ambients
Kirstin Peters, Uwe Nestmann
Modern society is dependent on distributed software systems and to verify them different modelling languages such as mobile ambients were developed. To analyse the quality of mobil…