Tags

Blockchain;Consensus algorithm;Safety;Cryptocurrency;federated Byzantine agreement;Stellar Consensus Protocol;UPPAAL

mutation testing

regression testing

test case prioritization

action-benefit-cost modeling

agent-based modeling

decision-making

interaction

real faults

system of systems