Read about ” Static Analysis and Formal Proof for Software Systems using the MALPAS Toolset ” :    Slides     Video Presentation