haslab / Electrum

A model checker for relational first-order temporal specifications

http://haslab.github.io/Electrum/

haslab/Electrum Stargazers

Ilya Shchepetkov
17451k
Alcino Cunha
alcinocunha
Vipul Anand
anandvip
Arun Augustine
arunaugustine
Tristan Dyer
atdyer
Banguiskode
Armando Santos
bolt12
breandan
breandan
Simon Cruanes
c-cube
Chaabane Jalal
chaabaj
Corey Reece
corey
Cosmicat
Cosmicatzzz
eaubin
Ferhat Erata
ferhaterata
GILGAMESH
GilgameshxZero
David Chemouil
grayswandyr
Ionuț G. Stan
igstan
Jake Gillberg
Jake-Gillberg
Max von Hippel
maxvonhippel
Michael O'Keefe
michael-okeefe
Miguel Cruz
mikercr
Nikita
nikitavoloboev
Nuno Macedo
nmacedo
Nathanaël Sensfelder
nsensfel
Ollie Charles
ocharles
otokunaga
otokunaga2
Limin Wang @wlmnzf
wlmnzf

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.