ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
Stargazers
- abduld
- ablekhGartner Inc.
- AlexDenisov@flexaihq
- alvinlaiMountain View, CA
- anaolicostaVienna, Austria
- anton-trunovTON Foundation
- awkure4096R/C20C9D19
- c4milo@hooklift
- cehFalun, Sweden
- claudiouzelac
- clayratIMDEA Software
- denjiKyiv, UA
- dgryskiVancouver, Canada
- dodikkDnipro, Ukraine
- elimisteve@RevolutionizeDev
- evdenis
- Fly-Style@hazelcast
- freisPortugal
- GeorgeEricksonBoston
- jasonwatkinspdx
- juanbono@lambdaclass
- kgoralski@starburstdata @trinodb
- maciej-src
- mitch000001@x-ion-de
- mssabr01
- mwilkowski
- oscarcostaThe Interwebs
- potan
- pron
- stanislawPTS
- sunyatasnep
- themattchan@awakesecurity
- theodesp@wpengine
- verhovskyUnemployed
- worldmindBelarus, Gomel
- yurrriq@sportradar