Partial order reduction for checking LTL formulae with the next-time operator
From MaRDI portal
Publication:3133158
DOI10.1093/logcom/exw004zbMath1380.68276OpenAlexW2345601976MaRDI QIDQ3133158
Weiwei Li, Shuanglong Kan, Zhe Chen, Yutao Huang, Zhiqiu Huang
Publication date: 13 February 2018
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exw004
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (2)
Exponential automatic amortized resource analysis ⋮ Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
This page was built for publication: Partial order reduction for checking LTL formulae with the next-time operator
