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

Mahdi Taheri Saeideh Sheikhpour Ali Mahani Maksim Jenihhin

Published in: IOLTS (2022)

Keyphrases

fault tolerant
fault tolerance
state machine
distributed systems
load balancing
logic programming
modal logic
high availability
safety critical
verification method
digital circuits
database
databases
intelligent systems
error detection
high assurance