Results 1 to 19 of 19
Sort by:

  • 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. ...