Jannik Dunkelau

Latest

• Integrating Formal Specifications into Applications - The ProB Java API
• A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
• Embedding High-Level Formal Specifications into Applications
• Towards Constraint Logic Programming over Strings for Test Data Generation
• Automated Backend Selection for ProB Using Deep Learning