• Myhill-Nerode

  • Referenced in 11 articles [sw28547]
  • formalisation of the Myhill-Nerode theorem based on regular expressions. There are numerous textbooks ... result from formal language theory -- the Myhill-Nerode Theorem -- can be recreated using only regular...
  • Finite Automata HF

  • Referenced in 6 articles [sw29250]
  • deterministic, for regular languages. The Myhill-Nerode 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 high-level 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 input-output 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. ...