Formal verification of replication on a distributed data space architecture

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2002, Pages 351-358

  Hooman, Jozef ^a   Van De Pol, Jaco ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Coordination; Data space architecture; Formal verification; Model checking; Theorem proving

Indexed keywords

COMPUTER ARCHITECTURE; DATABASE SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; EQUIVALENCE CLASSES; MATHEMATICAL MODELS; SOFTWARE AGENTS; SOFTWARE ENGINEERING; STATE SPACE METHODS; THEOREM PROVING;

DISTRIBUTED DATA SPACE ARCHITECTURE; FORMAL VERIFICATION; SAFETY CRITICAL SYSTEMS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0036041293     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508791.508859     Document Type: Conference Paper

References (21)

1. Algebra of communicating processes with abstraction
2. μCRL: a toolset for analysing algebraic specifications
3. Semantical aspects of an architecture for distributed embedded systems
4. Control systems software
5. Comparing coordination models based on shared distributed replicated data
6. Process calculi for coordination: From Linda to JavaSpaces
7. Transparent object replication: A formal model
8. Formalization of a software architecture for embedded systems: A process algebra for splice
9. The verification of coordination
10. CADP - a protocol validation and verification toolbox
11. Branching time and abstraction in bisimulation semantics
12. Algebraic process verification
13. Formal design of real-time components on a shared data space architecture
14. Correctness of real time systems by construction
15. Verifying replication on a distributed shared data space with time stamps
16. A calculus on communicating systems
17. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS
18. Expressiveness of basic SPLICE