Formal verification by Dr. Jacob Boender, Formal Verification Engineer at HENSOLDT Cyber One of the specialties of Hensoldt Cyber is *formal verification*. This may sound very sophisticated, but what is it exactly? In this blog, we will endeavor to explain. In general, whenever we write a computer program, we would like it to behave exactly the way we want it to. But how to be sure? Generally, the way software… Read More »Blog