Models and Software Model Checking of a Distributed File Replication System

DOI10.1007/978-3-540-75221-9_1MaRDI QIDQ3526923zbMATH OpenOpenAlexFDO

Authors Nikolaj Bjørner

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.7699

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Theory of software (68N99) Network protocols (68M12)

Recommendations

• Stochastic Petri net analysis of a replicated file system
• Replication and consistency in a distributed environment
• Co-design and verification of an available file system
• scientific article; zbMATH DE number 1744968
• Principles of Distributed Systems

Cited in

(2)

• Operations research at container terminals: a literature update
• Co-design and verification of an available file system

Describes a project that uses

Uses Software

• Unison
• Zing

This page was built for publication: Models and Software Model Checking of a Distributed File Replication System

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