Skip to content
Meet other local people interested in Formal Methods: share experiences, inspire and encourage each other! Join a Formal Methods group.
2,294
members
4
groups
Join Formal Methods groups

Largest Formal Methods groups

1

Empire Hacking

Photo of Empire HackingOrganized by Dan Guido
2

SoftwareHub Ankara

411 Hackers | Ankara,
Photo of SoftwareHub AnkaraOrganized by SoftwareFreedom
3

OCaml Toulouse (OC'To)

79 Cameliens | Toulouse,
Photo of OCaml Toulouse (OC'To)Organized by Fabrice Le Fessant
4

Austin Formal Methods User Group

39 Members | Austin,
Photo of Austin Formal Methods User GroupOrganized by Charlie Southerland