Formal Methods Accessibility

Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.

Publications

(2019). Automated Backend Selection for ProB Using Deep Learning. Proceedings 11th Annual NASA Formal Methods Symposium (NFM 2019), Springer LNCS (to appear).

Preprint Project Project

(2018). Repair and Generation of Formal Models Using Synthesis. Proceedings 14th International Conference on integrated Formal Methods (iFM 2018), Springer LNCS.

Preprint Project Project

(2016). Interactive Model Repair by Synthesis. Proceedings 5th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z (ABZ 2016), Springer LNCS.

Preprint PDF Project Project