Verified Operational Transformation for Trees

DOI10.1007/978-3-319-43144-4_22zbMath1478.68176OpenAlexW2477769953MaRDI QIDQ2829271

Sergey Sinchuk, Konstantin Solomatov, Pavel Chuprikov

Publication date: 27 October 2016

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-43144-4_22

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) Theory of software (68N99) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Coq
• Coq/SSReflect

Cites Work

• Formal design and verification of operational transformation algorithms for copies convergence
• Proof of correctness of Ressel's adopted algorithm
• On Synthesizing a Consistent Operational Transformation Approach
• Unnamed Item

This page was built for publication: Verified Operational Transformation for Trees