CONCUR 2003 - Concurrency Theory
From MaRDI portal
Publication:5900570
DOI10.1007/b11938zbMath1274.68197OpenAlexW105220891MaRDI QIDQ5900570
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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Imperfect information in reactive modules games, The ins and outs of first-order runtime verification, Model-checking hierarchical structures, Multi-player games with LDL goals over finite traces, On the complexity of partial order trace model checking, Model checking memoryful linear-time logics over one-counter automata, Combining test case generation and runtime verification, 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, Robustness of temporal logic specifications for continuous-time signals, Natural strategic ability, Incremental reasoning in probabilistic signal temporal logic, Unnamed Item, Sampling polynomial trajectories for LTL verification, Weak Kripke Structures and LTL, Mu-calculus path checking