RALib

MaRDI QIDQ28126swMATHFDO

Official website https://bitbucket.org/learnlib/ralib/

Cited in

(13)

• Active learning for extended finite state machines
• Daikon
• XMPP
• libalf
• LearnLib
• Simulink Coder
• MuACOsm
• Sigma*
• IDP3
• KERNELC
• A Myhill-Nerode theorem for register automata and symbolic trace languages
• AALpy
• DeepLog

This page was built for software: RALib