1. Abraham, I., Gueta, G.G., Malkhi, D., Alvisi, L., Kotla, R., Martin J.-P.: Revisiting fast practical byzantine fault tolerance. Technical report (Dec 2017). arXiv
2. Altisen, K., Corbineau, P., Devismes, S.: A framework for certified self-stabilization. In: FORTE, pp. 36–51 (2016)
3. Alturki, M.A., Chen, J., Luchangco, V., Moore, B.M., Palmskog, K., Peña, L., Rosu, G.: Towards a verified model of the algorand consensus protocol in coq. In: International Workshops on Formal Methods (FM), pp. 362–367 (2019)
4. Aminof, B., Rubin, S., Stoilkovska, I., Widder, J., Zuleger F.: Parameterized model checking of synchronous distributed algorithms by abstraction. In: Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI, pp. 1–24 (2018)
5. Amoussou-Guenou, Y., Pozzo, A.D., Potop-Butucaru, M., Piergiovanni, S.T.: Correctness and fairness of tendermint-core blockchains. Technical Report (2018). arXiv:1805.08429