scientific article; zbMATH DE number 1538041

zbMath0960.68039MaRDI QIDQ4518896

Marcus Nilsson, Bengt Jonsson

Publication date: 3 December 2000

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

zbMATH Keywords

infinite-state systemsparameterized systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (15)

Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Regular model checking with regular relations ⋮ Permutation rewriting and algorithmic verification ⋮ Model checking, synthesis, and learning ⋮ Regular model checking: evolution and perspectives ⋮ Regular model checking revisited ⋮ Synchronizing relations on words ⋮ Learning Meets Verification ⋮ Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates ⋮ Regular Model Checking using Widening Techniques ⋮ Networks of Processes with Parameterized State Space ⋮ An approach to the verification of symmetric parameterized distributed systems ⋮ Liveness by Invisible Invariants ⋮ Closure properties of synchronized relations ⋮ Iterating transducers

Uses Software

• MONA

This page was built for publication: