scientific article; zbMATH DE number 1538041

MaRDI QIDQ4518896zbMATH OpenFDO

Authors Marcus Nilsson, Bengt Jonsson

Publication date 3 December 2000

zbMATH Keywords

infinite-state systemsparameterized systems

Mathematics Subject Classification ID

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

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

Cited in

(17)

• Liveness by Invisible Invariants
• Iterating transducers
• Closure properties of synchronized relations
• Permutation rewriting and algorithmic verification
• Learning Meets Verification
• scientific article; zbMATH DE number 1670791 (Why is no real title available?)
• Iterating transducers in the large (extended abstract)
• Model checking and abstraction to the aid of parameterized systems (a survey)
• Regular model checking using widening techniques
• Regular model checking with regular relations
• Model checking, synthesis, and learning
• Regular model checking revisited
• Synchronizing relations on words
• Regular model checking: evolution and perspectives
• 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

Describes a project that uses

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)