scientific article; zbMATH DE number 1223628

zbMath0916.68099MaRDI QIDQ4218939

Nils Klarlund

Publication date: 16 May 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationfinite automatabinary decision diagramstree automataweak second-order logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Other applications of logic (03B80)

Related Items (8)

Formalizing the Logic-Automaton Connection ⋮ Logic programming approach to automata-based decision procedures ⋮ Decision procedures for inductive Boolean functions based on alternating automata ⋮ Universal first-order quantification over automata ⋮ Automatic Verification of Bossa Scheduler Properties ⋮ Incremental reasoning on monadic second-order logics with logic programming ⋮ Array theory of bounded elements and its applications ⋮ Relativizations for the logic-automata connection

Uses Software

• MONA

This page was built for publication: