Philipp Körner

Latest

• Embedding High-Level Formal Specifications into Applications
• Experience Report on An Inquiry-Based Course on Model Checking
• Measuring Coverage of Prolog Programs Using Mutation Testing
• Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
• Three is a crowd: SAT, SMT and CLP on a chessboard
• plspec - A Specification Language for Prolog Data