scientific article; zbMATH DE number 1533829

MaRDI QIDQ4517043zbMATH OpenFDO

Authors S. A. Berezin

Publication date 20 November 2000

zbMATH Keywords

deductive systemdistributed systemverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An approach to the verification of symmetric parameterized distributed systems
• Automatic verification for a class of distributed systems
• Verifying the correctness of distributed systems via mergeable parallelism
• On the complexity of verification of time-sensitive distributed systems
• Verification of distributed systems with local-global predicates
• A compositional proof system for distributed programs
• A modular framework for verifying versatile distributed systems
• An automata-theoretic approach to the verification of distributed algorithms
• An automata-theoretic approach to the verification of distributed algorithms
• scientific article; zbMATH DE number 4119602

Cited in

(3)

• A verification technique for reversible process algebra
• scientific article; zbMATH DE number 3940705 (Why is no real title available?)
• Automatic verification for a class of distributed systems

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 Q4517043)