scientific article; zbMATH DE number 1304329
From MaRDI portal
Publication:4251060
zbMath0926.03035MaRDI QIDQ4251060
Publication date: 29 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
temporal logicsvector addition systems with statesconcurrent systems with unreliable communicationdecidability of model checking
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) 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 (12)
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols ⋮ Undecidable problems in unreliable computations. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An Assertional Language for the Verification of Systems Parametric in Several Dimensions ⋮ Decidability of model checking with the temporal logic EF ⋮ Well-structured transition systems everywhere! ⋮ A general approach to comparing infinite-state systems with their finite-state specifications ⋮ Unnamed Item ⋮ On minimal elements of upward-closed sets ⋮ Expand, enlarge and check: new algorithms for the coverability problem of WSTS ⋮ Narrowing and Rewriting Logic: from Foundations to Applications
This page was built for publication:
