Specification and Safety Verification of Parametric Hierarchical Distributed Systems.

Marius Bozga Radu Iosif

Published 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