Text Document
Using empirical data to reason about Internet research ethics
Fulltext URI
Document type
Text
Additional Information
Date
2003
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.