scientific article; zbMATH DE number 1424021
From MaRDI portal
zbMATH Open0943.03008MaRDI QIDQ4945211FDOQ4945211
Authors: Klaus Schneider, Dirk W. Hoffmann 
Publication date: 5 September 2000
Title of this publication is not available (Why is that?)
Recommendations
- Verifying the LTL to Büchi automata translation via very weak alternating automata
- Theorem Proving in Higher Order Logics
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
- Improving automata generation for linear temporal logic by considering the automaton hierarchy
- scientific article; zbMATH DE number 6401143
decision proceduresHOL theorem prover\(\omega\)-automatalinear 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)
Cited In (5)
- Owl: a library for \(\omega \)-words, automata, and LTL
- Verifying the LTL to Büchi automata translation via very weak alternating automata
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
- Theorem Proving in Higher Order Logics
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4945211)
