Simple on-the-fly automatic verification of linear temporal logic – PaperGrep

https://papergrep.dev/paper/simple-on-the-fly-automatic-verification-of-ad8fa9