scientific article; zbMATH DE number 1538040
From MaRDI portal
Publication:4518895
zbMath0964.68096MaRDI QIDQ4518895
Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhneche
Publication date: 5 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Predicate diagrams for the verification of real-time systems ⋮ Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ Unnamed Item ⋮ Verification of parametric concurrent systems with prioritised FIFO resource management ⋮ Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol ⋮ Networks of Processes with Parameterized State Space ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automated formal analysis and verification: an overview ⋮ Computing parameterized invariants of parameterized Petri nets
