scientific article; zbMATH DE number 7445165
From MaRDI portal
Publication:3384170
Recommendations
- A tableau for general linear temporal logic
- A decidable temporal logic of parallelism
- A tableau construction for finite linear-time temporal logic
- scientific article; zbMATH DE number 4052975
- A Paraconsistent Linear-time Temporal Logic
- scientific article; zbMATH DE number 6287569
- Euro-Par 2004 Parallel Processing
- scientific article; zbMATH DE number 1305046
- scientific article; zbMATH DE number 3937153
Cites work
- \(\mathrm{LTL}_{f}\) satisfiability checking
- A decision procedure for \(\mathrm{CTL}^{*}\) based on tableaux and automata
- A new rule for LTL tableaux
- A one-pass tree-shaped tableau for LTL+past
- A PLTL-prover based on labelled superposition with partial model guidance
- Computer Aided Verification
- scientific article; zbMATH DE number 1189110 (Why is no real title available?)
- scientific article; zbMATH DE number 1903365 (Why is no real title available?)
- scientific article; zbMATH DE number 814821 (Why is no real title available?)
- Rewrite rules for \(\mathrm{CTL}^\ast\)
Cited in
(7)- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
- A tableau construction for finite linear-time temporal logic
- One-pass and tree-shaped tableau systems for \(\mathrm{TPTL}\) and \(\mathrm{TPTL}_b+\mathrm{Past}\)
- scientific article; zbMATH DE number 1305046 (Why is no real title available?)
- A new rule for LTL tableaux
- scientific article; zbMATH DE number 7085031 (Why is no real title available?)
- SAT meets tableaux for linear temporal logic satisfiability
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 Q3384170)
