Decision Procedures for Inductive Boolean Functions Based on Alternating Automata
Abstract elided by the publisher.
Related papers
- Verified decision procedures for MSO on words based on derivatives of regular expressions ICFP 2013
- Symbolic Boolean derivatives for efficiently solving extended regular expression constraints PLDI 2021
- Polyregular Model Checking CAV 2025
- Decision Procedures for Sequence Theories CAV 2023
- Verified decision procedures for MSO on words based on derivatives of regular expressions JFP 2015
- Symbolic Automata: Omega-Regularity Modulo Theories POPL 2025
- Monadic second-order logic on finite sequences POPL 2017
- Mona: Monadic Second-Order Logic in Practice TACAS 1995