• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Verified Verifying: SMT-LIB for Strings in Isabelle.

Kevin LotzMitja KulczynskiDirk NowotkaDanny Bøgsted PoulsenAnders Schlichtkrull
Published in: CIAA (2023)
Keyphrases
  • theorem prover
  • model checking
  • edit distance
  • string matching
  • statistical machine translation
  • pattern matching
  • logic programming
  • finite automata
  • finite state automata