Model checking a path (preliminary report)

DOI10.1007/B11938MaRDI QIDQ5900570zbMATH OpenOpenAlexFDO

Authors Nicolas Markey, Philippe Schnoebelen

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

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

Recommendations

• Efficient parallel path checking for linear-time temporal logic with past and bounds
• CONCUR 2004 - Concurrency Theory
• Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
• Model checking restricted sets of timed paths
• Mu-calculus path checking

Cited in

(21)

• Mu-calculus path checking
• Imperfect information in reactive modules games
• Sampling polynomial trajectories for LTL verification
• Multi-player games with LDL goals over finite traces
• Natural strategic ability
• Incremental reasoning in probabilistic signal temporal logic
• A parametric analysis of the state-explosion problem in model checking
• \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
• Model checking restricted sets of timed paths
• Moving Arrows and Four Model Checking Results
• Weak Kripke structures and LTL
• Model-checking hierarchical structures
• Efficient parallel path checking for linear-time temporal logic with past and bounds
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• Combining test case generation and runtime verification
• Reasoning with temporal logic on truncated paths.
• Online monitoring of metric temporal logic using sequential networks
• Robustness of temporal logic specifications for continuous-time signals
• The ins and outs of first-order runtime verification
• On the complexity of partial order trace model checking
• Model checking memoryful linear-time logics over one-counter automata

This page was built for publication: Model checking a path (preliminary report)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900570)