Geeks
formalmethods
/
intrepid
Intrepyd Model Checker
Primary Language
Python
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
intrepid GitHub
Markdown
Readme
4
Issues
17
Stargazers
5
Watchers
Stargazers
abhibp1993
University of Florida
alexvoronov
Sweden
athulg
Stockholm
caballa
Certora
dddejan
New York, NY
ebigram
Gary-oak-Star
hbourbouh
@coco-team
himito
CNRS
lsdsjy
marwern
Germany
rainoftime
robertobruttomesso
@NozomiNetworks
Shymaxtic
SpaceOctopod
voldemortgod
wlmnzf
Nanjing