by Caroline Trippel on Jun 6, 2023 | Tags: formal methods, logic, model checking, Programming Languages
Acknowledgements: This blogpost discusses joint work between the author and Matthias Cosler, Christopher Hahn, Daniel Mendoza, and Frederik Schmitt. Introduction A rigorous formalization of desired system requirements is indispensable when performing any verification...
Read more...
