A Novel Fault-Tolerant Logic Style with Self-Checking Capability.

Mahdi Taheri Saeideh Sheikhpour Ali Mahani Maksim Jenihhin

Published in: CoRR (2023)

Keyphrases

fault tolerant
state machine
fault tolerance
distributed systems
load balancing
logic programming
safety critical
verification method
interconnection networks
modal logic
high assurance
databases
high availability
mobile agent system
fault isolation