ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
Watchers
- 0xEtRMoscow
- AG00
- alanzUK
- AlexDenisov@flexaihq
- anton-trunovTON Foundation
- aogrcs
- bond15Two Six Labs
- define-null
- dodikkDnipro, Ukraine
- fenollp@Scaleway
- hath995ScreenMeet
- intoverflowSeattle, WA
- IvanDyachenko@YandexClassifieds
- jaeheum
- jasonwatkinspdx
- jevinskieLafayette, Indiana
- jffInstituto Superior TĂ©cnico & INESC-ID
- jfmc
- jhcloos
- juanbono@lambdaclass
- jubnzv@paritytech
- kpy3Moscow, Russia
- ligurio
- llelf
- mssabr01
- numairmansurAmazon Web Services
- puffnfreshAtlassian
- ramasamyshenbagarajJP Morgan Pvt Ltd
- rigilleMixrank
- romac@informalsystems
- saidnurUniversity of Southampton
- softwarecoolie
- stanislawPTS
- Tiancheng-Luo
- varosiChaos
- yugrHuawei