5 citations
1 paper
Eric Jaeger, Thérèse Hardin
Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the dev…