scientific article
From MaRDI portal
Publication:2754073
zbMath0974.68500MaRDI QIDQ2754073
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (25)
Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Compositional analysis for verification of parameterized systems ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Verification as a parameterized testing (experiments with the SCP4 supercompiler) ⋮ Model Checking Parameterized Systems ⋮ Action language verifier: An infinite-state model checker for reactive software specifications ⋮ Well-structured languages ⋮ Highly dependable concurrent programming using design for verification ⋮ Model checking a cache coherence protocol of a Java DSM implementation ⋮ Context-aware counter abstraction ⋮ Unnamed Item ⋮ Liveness in broadcast networks ⋮ Verification of graph grammars using a logical approach ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ On one application of computations with oracle ⋮ An Assertional Language for the Verification of Systems Parametric in Several Dimensions ⋮ Light-Weight SMT-based Model Checking ⋮ On the \(\omega\)-language expressive power of extended Petri nets ⋮ Unnamed Item ⋮ Handling Parameterized Systems with Non-atomic Global Conditions ⋮ Monotonic Abstraction in Parameterized Verification ⋮ Approximated parameterized verification of infinite-state processes with global conditions ⋮ Monotonic Abstraction in Action ⋮ Computing parameterized invariants of parameterized Petri nets
Uses Software
This page was built for publication:
