<Good First Issue />

/

Sign in Sign up

smackers/smack

SMACK Software Verifier and Verification Toolchain

CStars 443Forks 85Watchers 443Open issues 111License Other

Details

仓库信息

Ownersmackers

Homepagehttp://smackers.github.io

GitHubhttps://github.com/smackers/smack

Last pushed2025-04-18

Last updated2025-12-15

Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--