A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits.

Dmitry Burlyaev Pascal Fradet Alain Girault

Published in: Leibniz Trans. Embed. Syst. (2018)

Keyphrases

fault tolerant
static analysis
fault tolerance
dynamic analysis
source code
distributed systems
symbolic execution
regular expressions
abstract interpretation
load balancing
state machine
test generation
java card
test suite
reverse engineering
case study
message passing
operating system
relational databases