Boutekkouk, F. C Software Formal Verification. wipiec 2024, 10.