Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Philipp Körner
Latest
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering
Integrating Formal Specifications into Applications - The ProB Java API
The First Twenty-Five Years of Industrial Use of the B Method
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model
Inquiry- and Research-based Teaching in a Course on Model Checking
Prototyping Games Using Formal Methods
Embedding High-Level Formal Specifications into Applications
Prolog Coding Guidelines: Status and Tool Support
The History and Evolution of B and Event-B
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
Cite
×