scientific article

zbMath1483.68133arXiv1709.02101MaRDI QIDQ3384170

John C. McCabe-Dansted, M. A. Reynolds

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1709.02101

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

parallel computationcloud computingLTLone-pass tableaux

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Temporal logic (03B44)

Related Items (2)

Unnamed Item ⋮ One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)

Uses Software

• NuSMV
• TRP++
• GNU parallel
• Polsat
• Aalta
• Leviathan

Cites Work

• Rewrite rules for \(\mathrm{CTL}^\ast\)
• A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
• A One-Pass Tree-Shaped Tableau for LTL+Past
• Computer Aided Verification
• A Decision Procedure for CTL* Based on Tableaux and Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: