Proving Correctness of Transformation Functions in Real-Time Groupware
Loading...
Fulltext URI
Document type
Text
Files
Additional Information
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Kluwer Academic Publishers, Dordrecht, The Netherlands
Abstract
Operational transformation is an approach which allows to build real-time groupware tools. This approach requires correct transformation functions. Proving the correction of these transformation functions is very complex and error prone. In this paper, we show how a theorem prover can address this serious bottleneck. To validate our approach, we have verified the correctness of state-of-art transformation functions defined on Strings with surprising results. Counter-examples provided by the theorem prover have helped us to define new correct transformation functions for Strings.
Description
Keywords
Citation
URI
URI
Endorsement
Review
Supplemented By
Referenced By
Load citations
Please note: Providing information about citations is only possible thanks to to the open metadata APIs provided by crossref.org and opencitations.net. These lists may be incomplete due to unavailable citation data.