scientific article; zbMATH DE number 1487868

MaRDI QIDQ4494397zbMATH OpenFDO

Authors Klaus Schneider

Publication date 10 August 2000

zbMATH Keywords

model checkingLTL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1973991
• Improving automata generation for linear temporal logic by considering the automaton hierarchy
• scientific article; zbMATH DE number 1670781
• scientific article; zbMATH DE number 1796123
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(11)

• Semi-external LTL Model Checking
• LTL semantic tableaux and alternating \(\omega\)-automata via linear factors
• Model Checking LTL Formulae in RAISE with FDR
• scientific article; zbMATH DE number 1884415 (Why is no real title available?)
• Synchronous or alternating? LTL black-box checking of Mealy machines by combining the LearnLib and LTSmin
• LTL-model-checking via model composition
• Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
• Improving automata generation for linear temporal logic by considering the automaton hierarchy
• scientific article; zbMATH DE number 1982198 (Why is no real title available?)
• scientific article; zbMATH DE number 1670845 (Why is no real title available?)
• Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress)

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 Q4494397)