scientific article
From MaRDI portal
Publication:2771059
zbMath0986.68064MaRDI QIDQ2771059
Publication date: 14 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (20)
A complete coalition logic of temporal knowledge for multi-agent systems ⋮ Size-Change Termination and Satisfiability for Linear-Time Temporal Logics ⋮ Temporal Logic and Fair Discrete Systems ⋮ Functional Specification of Hardware via Temporal Logic ⋮ Linear-Time Model Checking: Automata Theory in Practice ⋮ Branching vs. Linear Time: Semantical Perspective ⋮ Linear temporal logic symbolic model checking ⋮ On the logic of cooperation and propositional control ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Incompleteness of states w.r.t. traces in model checking ⋮ Meanings of Model Checking ⋮ From Philosophical to Industrial Logics ⋮ Model-based safety assessment of a triple modular generator with xSAP ⋮ From Monadic Logic to PSL ⋮ Automata-Theoretic Model Checking Revisited ⋮ Temporal logic with recursion ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Model-checking Timed Temporal Logics ⋮ Counterexample-preserving reduction for symbolic model checking ⋮ Weak, strong, and strong cyclic planning via symbolic model checking
Uses Software
This page was built for publication:
