Jane Street forteller hvordan selskapet etter 25 års skepsis nå tar i bruk formelle metoder i programvareutviklingen.

Kilde: https://blog.janestreet.com/formal-methods-at-jane-street-index/