Please use this identifier to cite or link to this item:
|Title:||Proving Correctness of Transformation Functions in Real-Time Groupware|
|Publisher:||Kluwer Academic Publishers, Dordrecht, The Netherlands|
|metadata.dc.relation.ispartof:||ECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work|
|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.|
|metadata.mci.conference.date:||14–18 September 2003|
|Appears in Collections:||ECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.