A mixed approach for the formal correctness proof of distributed programs.
Gabriele ManduchiPublished in: Inf. Softw. Technol. (1996)
Keyphrases
- provably correct
- distributed systems
- formal methods
- cooperative
- distributed environment
- multi agent
- lightweight
- computing environments
- concurrent execution
- formal model
- fault tolerant
- imperative programs
- recursive programs
- mathematical theory
- computer programs
- agent technology
- theorem prover
- information systems
- computer networks
- peer to peer
- multi agent systems
- metadata
- e learning