scientific article; zbMATH DE number 1424021
From MaRDI portal
Publication:4945211
zbMath0943.03008MaRDI QIDQ4945211
Klaus Schneider, Dirk W. Hoffmann
Publication date: 5 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
\(\omega\)-automatadecision proceduresHOL theorem proverlinear time temporal logicsymbolic model checkers
Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)
Related Items (1)
Uses Software
This page was built for publication:
