scientific article; zbMATH DE number 2102701

zbMath1046.68573MaRDI QIDQ4817539

Marcus Nilsson, Ahmed Bouajjani, Bengt Jonsson, Parosh Aziz Abdulla

Publication date: 24 September 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (16)

Verification of \(\mathrm{EB}^3\) specifications using CADP ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Permutation rewriting and algorithmic verification ⋮ Model checking, synthesis, and learning ⋮ Regular model checking revisited ⋮ Parametrized invariance for infinite state processes ⋮ Computable fixpoints in well-structured symbolic model checking ⋮ Verification of parametric concurrent systems with prioritised FIFO resource management ⋮ Regular Model Checking using Widening Techniques ⋮ Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol ⋮ Networks of Processes with Parameterized State Space ⋮ Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Exact Acceleration of Real-Time Model Checking ⋮ Verification of programs with half-duplex communication ⋮ Iterating transducers

This page was built for publication: