Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers.

Daniel Neider

Browse the full ATVA paper archive.