scientific article; zbMATH DE number 1927551
From MaRDI portal
Publication:4484475
zbMath1012.68119MaRDI QIDQ4484475
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210024.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (9)
A complete proof system for propositional projection temporal logic ⋮ A proof system for unified temporal logic ⋮ A tableau-based decision procedure for CTL\(^*\) ⋮ Deductive verification of alternating systems ⋮ A decision procedure and complete axiomatization for projection temporal logic ⋮ Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\) ⋮ All-Path Reachability Logic ⋮ An axiomatization of PCTL* ⋮ Proof-based verification approaches for dynamic properties: application to the information system domain
This page was built for publication:
