Home
12/15/2023 DFG funding for project StdLearnLib The StdLearnLib project ensures the continued development and expansion of the de-facto standard library in automata learning, LearnLib. 11/04/2023 Autonomous Racing [...] dynamic and realistic environments. Open-Source Research Software World Class Research Tools for Model Learning and Software Verification Robust research tools are a cornerstone for scaling formal methods towards [...] ns. The group develops multiple research tools, mainly for dynamic symbolic execution and model learning. To compete, compare, and collaborate with other researchers, we compete with our tools in SV-COMP …