Philipp Körner

Latest

• Prolog Coding Guidelines: Status and Tool Support
• The History and Evolution of B and Event-B
• Embedding High-Level Formal Specifications into Applications
• Experience Report on An Inquiry-Based Course on Model Checking
• Measuring Code 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