libalf: the Automata Learning Framework

Benedikt Bollig (1) , Joost-Pieter Katoen (2) , Carsten Kern (2) , Martin Leucker (3) , Daniel Neider (2) , David R. Piegdon (2)

1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
2 RWTH - Rheinisch-Westfälische Technische Hochschule Aachen University
3 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich

Domaines: Autre [cs.OH]

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, et al.. libalf: the Automata Learning Framework. Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), 2010, Edinburgh, Scotland, UK, United Kingdom. pp.360-364, ⟨10.1007/978-3-642-14295-6_32⟩. ⟨hal-00779934⟩