Specula: A framework for finding deep bugs in system code using TLA+ - View it on GitHub