Specification and Safety Verification of Parametric Hierarchical Distributed Systems.
Marius BozgaRadu IosifPublished in: FACS (2021)
Keyphrases
- distributed systems
- concurrent systems
- formal verification
- fault tolerant
- asynchronous circuits
- high assurance
- model checking
- distributed environment
- message passing
- load balancing
- formal specification
- fault tolerance
- geographically distributed
- mobile agents
- distributed computing
- real time systems
- distributed database systems
- operating system
- data replication
- formal methods
- loosely coupled
- security policies
- case study
- deadlock detection
- databases
- agent technology
- safety analysis
- software development environments
- data management
- data model
- digital libraries
- artificial intelligence