Ingeniører har fått fornyet interesse for programvareverifikasjon, til tross for at feltet lenge har blitt sett på som nyttig kun i nisjetilfeller.

Kilde: https://ivan-gavran.github.io/0-social-processes-paper