Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification.
Diego MarmsolerPublished in: FORTE (2019)
Keyphrases
- neural architectures
- layered architecture
- case study
- management system
- computer graphics
- model checking
- subsumption architecture
- information retrieval
- data sets
- enterprise systems
- network architecture
- architectural model
- heterogeneous environments
- formal verification
- memory hierarchy
- user friendly
- artificial intelligence
- databases