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 of them again feature different backends and configuration options. Selecting an appropriate configuration for a successful employment becomes increasingly hard. In this article, we use machine learning methods to automate the backend selection for the ProB model checker. In particular, we explore different approaches to deep learning and outline how we apply them to find a suitable backend for given input constraints.

Jannik Dunkelau, Sebastian Krings and Joshua Schmidt. (2018). "Automated Backend Selection for ProB Using Deep Learning" Proceedings NFM (International Symposium on NASA Formal Methods). https://link.springer.com/chapter/10.1007/978-3-030-20652-9_9