Mata: A Fast and Simple Finite Automata Library.

David Chocholat, Toms Fiedor, Vojtech Havlena, Luks Holk, Martin Hruska, Ondrej Lengl, Juraj Sc

Browse the full TACAS paper archive.