3rd KeY Symposium 2004

Pictures & Slides

Thomas Baar		Fondue Toolset
Maria Paola Bonacina		Experiments and open issues on decision procedures, theorem proving and software analysis
Gerd Beuster		Verisoft - Verification as Engineering
Mads Dam		First-Order Mu-Calculus as a Framework for Program Verification
Frédéric Fondement		Towards an MDA-oriented UML Profile for distribution
Tobias Gedell		Program Analysis in Key
Martin Giese		From Use Cases to Post Conditions
Kristofer Johannisson		OCL Parsing / Type Checking in the Context of GF and KeY
Vladimir Klebanov		Towards a Calculus for Concurrent Java
Vladimir Klebanov		Proof Re-Use in Java Software Verification
Daniel Larsson		Partial Evaluation of OCL
Wojciech Mostowski		Verification of Safety Properties in Presence of Transactions
Stanislas Nanchen		A Logic for Secure Memory Access of ASMs
André Platzer		An Object-Oriented Dynamic Logic with Updates
Arne Ranta		Informal and formal specifications: the next phase
Andreas Roth		Modular Verification
Ignaz Rutter		Agilent / GeneralStore
Philipp Rümmer		Interactive Verification of Concurrent Systems
Philipp Rümmer		Generation of Proof Obligations to ensure the Soundness of Taclets
Ralf Sasse		Modifies clauses, their verification and use
Steffen Schlager		A Temporal Logic for Programs

More Pictures

BBQ at Uncle Hakki's

Discussions

Visit to Drachenfels