Stav dette: Software engineering and formal methods