Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.
Si LiuAtul SandurJosé MeseguerPeter Csaba ÖlveczkyQi WangPublished in: NFM (2020)
Keyphrases
- formal specification
- distributed systems
- distributed architecture
- multi agent
- construction process
- information retrieval
- generation process
- cooperative
- database
- fault tolerant
- distributed learning
- formal methods
- distributed data
- distributed computing
- formal model
- metadata
- information systems
- genetic algorithm
- neural network
- databases