Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Formal Methods
Embedding High-Level Formal Specifications into Applications
The common formal methods workflow consists of formalising a model followed by applying model checking and proof techniques. Once an …
Philipp Körner
,
Jens Bendisposto
,
Jannik Dunkelau
,
Sebastian Krings
,
Michael Leuschel
PDF
Cite
Project
DOI
The History and Evolution of B and Event-B
Sebastian Krings
,
Michael Butler
,
Philipp Körner
,
Thierry Lecomte
,
Michael Leuschel
,
Laurent Voisin
PDF
Project
Automated Backend Selection for ProB Using Deep Learning
Employing formal methods for software development usually involves using a multitude of tools such as model checkers and provers. Most …
Jannik Dunkelau
,
Sebastian Krings
,
Joshua Schmidt
PDF
Cite
Project
Project
DOI
Formal Methods Accessibility
Lower barriers and learning curves to enable the usage of formal methods in mainstream industries.
ProB
Animator, constraint solver and (symbolic) model checker for the B-Method.
Teaching Formal Methods
Improving formal methods education.
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
During a course on model checking we developed BMoth, a full-stack model checker for classical B, featuring both explicit-state and …
Jessica Petrasch
,
Jan-Hendrik Oepen
,
Sebastian Krings
,
Moritz Gericke
PDF
Cite
Project
DOI
A Translation from Alloy to B
In this paper, we introduce a translation of the specification language Alloy to classical B. Our translation closely follows the Alloy …
Sebastian Krings
,
Joshua Schmidt
,
Carola Brings
,
Marc Frappier
,
Michael Leuschel
PDF
Cite
Project
DOI
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains
In this article, we present a concrete realisation of the ETCS Hybrid Level 3 concept, whose practical viability was evaluated in a …
Dominik Hansen
,
Michael Leuschel
,
David Schneider
,
Sebastian Krings
,
Philipp Körner
,
Thomas Naulin
,
Nader Nayeri
,
Frank Skowron
PDF
Cite
Project
DOI
plspec - A Specification Language for Prolog Data
In general, even though Prolog is a dynamically typed language, predicates may not be called with arbitrarily typed arguments. …
Philipp Körner
,
Sebastian Krings
PDF
Cite
Project
DOI
«
»
Cite
×