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

(19)

• Iterating transducers
• Model checking and abstraction to the aid of parameterized systems (a survey)
• Regular model checking with regular relations
• An approach to the verification of symmetric parameterized distributed systems
• scientific article; zbMATH DE number 1670791 (Why is no real title available?)
• Learning Meets Verification
• Liveness by Invisible Invariants
• Regular model checking using widening techniques
• Networks of processes with parameterized state space
• Closure properties of synchronized relations
• Iterating transducers in the large (extended abstract)
• Model checking, synthesis, and learning
• Regular model checking: evolution and perspectives
• Regular model checking revisited
• Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
• Computing inductive invariants of regular abstraction frameworks
• Regular model checking upside-down: an invariant-based approach
• Permutation rewriting and algorithmic verification
• Synchronizing relations on words

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)