A Formal Proof of Correctness of a Distributed Presentation Software System.
Ievgen IvanovTaras PanchenkoPublished in: ICTERI (2017)
Keyphrases
- formal proof
- distributed systems
- software development
- cooperative
- fault tolerant
- software design
- software systems
- distributed environment
- configuration management
- software platform
- software tools
- peer to peer
- software architecture
- databases
- distributed network
- theorem prover
- user interface
- case study
- multimedia
- software components
- computing environments
- software projects
- source code
- software engineering
- loosely coupled
- hardware design
- heterogeneous environments
- open systems
- multi agent
- computing infrastructure
- concurrent execution
- real time