How does Katoen's work influence system verification?
My work has provided foundational techniques and tools for ensuring the reliability and correctness of critical systems. By developing methods for formal verification, particularly with probabilistic model checking, we enable the automatic detection of design flaws and bugs in complex software and hardware. This has a significant impact on areas where system failures can have severe consequences, pushing the boundaries of what can be rigorously proven about system behavior.
Ask Joost-Pieter Katoen the follow-up →