
MyhillNerode
 Referenced in 11 articles
[sw28547]
 formalisation of the MyhillNerode theorem based on regular expressions. There are numerous textbooks ... result from formal language theory  the MyhillNerode Theorem  can be recreated using only regular...

Finite Automata HF
 Referenced in 6 articles
[sw29250]
 deterministic, for regular languages. The MyhillNerode Theorem. Closure under intersection, concatenation, etc. Regular expressions...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Nuprl
 Referenced in 396 articles
[sw06751]
 The Nuprl system is a framework for reasoning...

XMPP
 Referenced in 7 articles
[sw07051]
 The Extensible Messaging and Presence Protocol (XMPP) is...

DART
 Referenced in 76 articles
[sw07260]
 DART: directed automated random testing. We present a...

libalf
 Referenced in 12 articles
[sw09880]
 libalf: The Automata Learning Framework. This paper presents...

LearnLib
 Referenced in 17 articles
[sw09913]
 LearnLib: a framework for extrapolating behavioral models. In...

RALib
 Referenced in 2 articles
[sw16256]
 RALib is a library for active learning algorithms...

Sigma*
 Referenced in 12 articles
[sw21731]
 Sigma*: symbolic learning of inputoutput specifications. We...

ALGOL 60
 Referenced in 669 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is...

CALF
 Referenced in 2 articles
[sw25000]
 CALF: Categorical Automata Learning Framework. Automata learning is...

LEVER
 Referenced in 4 articles
[sw25001]
 LEVER: a tool for learning based verification. ...