Might want to look into methods FoundationDB was using: https://abdullin.com/foundationdb-is-back/ https://abdullin.com/foundationdb-is-back/ Might be useful

Might want to look into methods FoundationDB was using: https://abdullin.com/foundationdb-is-back/ https://abdullin.com/foundationdb-is-back/ Might be useful to your team. One of rare times I was surprised and impressed by a new company's verification process. I look forward to reading your tesm's write-up of techniques and lessons learned, too.