3 ms·Formal verification with model checking.by UncleMeat 4y agoFormal verification with model checking.deterministic 4y agoThat frankly sounds hard to believe. Which proof tool did he use? Link to paper?