https://www.kth.se/en/om/upptack/kalender/disputationer/formal-verification-of-software-defined-network-elements-and-machine-code-1.1439546?date=2025-12-08&orgdate=2025-07-13&length=1&orglength=172
Formal Verification of Software-Defined Network Elements and Machine Code | KTH
verification of softwaremachine codeformaldefinednetwork
https://research.jku.at/de/activities/why-is-the-verification-of-software-and-hardware-more-complicated/
Why is the Verification of Software and Hardware More Complicated than Thought Before? - JKU & KUK...
verification of softwareis thehardwarecomplicatedthought