scientific article; zbMATH DE number 1487868

zbMATH Open0957.68070MaRDI QIDQ4494397FDOQ4494397

Authors: Klaus Schneider 

Publication date: 10 August 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

model checkingLTL

Mathematics Subject Classification ID

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

Cited In (11)

• Semi-external LTL Model Checking
• LTL semantic tableaux and alternating \(\omega\)-automata via linear factors
• Title not available (Why is that?)
• Model Checking LTL Formulae in RAISE with FDR
• 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
• Title not available (Why is that?)
• Improving automata generation for linear temporal logic by considering the automaton hierarchy
• Title not available (Why is that?)
• 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)