Originally written for the APNIC Blog by Samuel Steffen (former Master’s student at NSG) Arguably, the most effective method to prevent downtime due to network misconfigurations is…
Category: Verification
Back when I was studying for my master degree, Prof. Axel van Lamsweerde was teaching us formal logic. Axel is world-famous for his works on requirements engineering, that is, the process of defining and maintaining the prerequisites that must be met by software systems.