Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification.

Edith Hemaspaandra David E. Narváez

Published in: CICM (2022)

Keyphrases

formal methods
model checker
model checking
formal analysis
formal specification
artificial intelligence
safety critical
knowledge based systems
software engineering
provably correct
quantified boolean formulas
modeling language
process algebra
database
regular expressions
protocol specification