Verified Verifying: SMT-LIB for Strings in Isabelle.

Kevin Lotz Mitja Kulczynski Dirk Nowotka Danny Bøgsted Poulsen Anders 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