On Synthesizing a Consistent Operational Transformation Approach (original) (raw)
Related papers
A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs
TENCON '91. Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Refinement and Verification of Real-Time Systems
D. Mandrioli, Richard Kemmerer
2010
Formal verification of real-time embedded software in an object-oriented application framework
IEE Proceedings - Computers and Digital Techniques, 2004
Formal design and verification of operational transformation algorithms for copies convergence
Gerald Oster, Abdessamad Imine
Theoretical Computer Science, 2006
Compositional Verification of Real-Time Applications
Lecture Notes in Computer Science, 1998
Formal Specification and Verification of Distributed Systems
IEEE Transactions on Software Engineering, 1983
An introduction to compositional methods for concurrency and their application to real-time
Sadhana, 1992
Specification and automated verification of atomic concurrent real-time transactions
Software and Systems Modeling
Specification and Verification of Synchronizing Concurrent Objects
2004
FORMAL VERIFICATION OF REAL TIME DISTRIBUTED SYSTEMS USING B METHOD
A process algebraic framework for specification and validation of real-time systems
Formal Aspects of Computing, 2009
Real-Time Safety Critical Systems series, 1994
A synchronous language for modeling and verifying real time and embedded systems
Methoden des Entwurfs und der Verifikation …
Right on time: Pre-verified software components for constructuion of real-time systems
2002
Verifying Real-Time Systems using Explicit-time Description Methods
Computing Research Repository, 2009
Communicating TILCO: a model for real-time system specification
Formal Techniques in Real-Time and Fault-Tolerant Systems
Lecture Notes in Computer Science, 2000
Refinement-Based Verification of Interactive Real-Time Systems
Electronic Notes in Theoretical Computer Science, 2008
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
Lecture Notes in Computer Science, 2010
Correctness verification of real-time programs
Annual Review in Automatic Programming, 1988
Modeling and verifying real-time properties of reactive systems
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2013
Implementation Correctness of a Real-Time Operating System
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Specification of Realtime Systems
1997
ATOM: an object-based formal method for real-time systems
Annals of Software Engineering, 1999
Implementation of Formally Verified Real Time Distributed Systems: Simplified flight control system
Automated compositional proofs for real-time systems
Theoretical Computer Science, 2007