C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems.
Silvio Ghilardi
Elena Pagani
Published in:
J. Autom. Reason. (2021)
Keyphrases
</>
fault tolerant
distributed systems
higher order
fault tolerance
safety critical
quantifier elimination
high assurance
load balancing
databases
first order logic
distributed databases
distributed database systems