scientific article; zbMATH DE number 1538041

zbMATH Open0960.68039MaRDI QIDQ4518896FDOQ4518896

Authors: Marcus Nilsson, Bengt Jonsson 

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1670791
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 1927558
• scientific article; zbMATH DE number 1903380
• Tree regular model checking: a simulation-based approach

zbMATH Keywords

infinite-state systemsparameterized systems

Mathematics Subject Classification ID

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

Cited In (17)

• Liveness by Invisible Invariants
• Closure properties of synchronized relations
• Iterating transducers
• Permutation rewriting and algorithmic verification
• Learning Meets Verification
• Title not available (Why is that?)
• Iterating transducers in the large (extended abstract)
• Regular model checking using widening techniques
• Model checking and abstraction to the aid of parameterized systems (a survey)
• Regular model checking with regular relations
• Model checking, synthesis, and learning
• Regular model checking revisited
• Regular model checking: evolution and perspectives
• Synchronizing relations on words
• Networks of processes with parameterized state space
• An approach to the verification of symmetric parameterized distributed systems
• Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

Uses Software

• MONA

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518896)