Movatterモバイル変換

Showing 10 of 20 repositories

smack Public
SMACK Software Verifier and Verification Toolchain
smackers/smack’s past year of commit activity
C 443 86 103 8 UpdatedApr 18, 2025
democratizing-software-verification-workshop-2022 Public
smackers/democratizing-software-verification-workshop-2022’s past year of commit activity
00 0 0 UpdatedJul 29, 2022
smack-wllvm Public archive
smackers/smack-wllvm’s past year of commit activity
Shell0MIT0 0 0 UpdatedMar 18, 2022
bam-bam-boogieman Public Forked frommichael-emmi/bam-bam-boogieman
Boogie AST Manipulator
smackers/bam-bam-boogieman’s past year of commit activity
Boogie 1MIT 7 0 0 UpdatedMar 18, 2022
smackers.github.io Public
SMACK Homepage
smackers/smackers.github.io’s past year of commit activity
CSS00 0 0 UpdatedNov 3, 2021
corral Public Forked fromboogie-org/corral
solver for the reachability modulo theories problem
smackers/corral’s past year of commit activity
Boogie 1MIT 43 0 0 UpdatedJul 6, 2021
sv-benchmarks Public Forked fromsosy-lab/sv-benchmarks
smackers/sv-benchmarks’s past year of commit activity
1 170 0 0 UpdatedDec 2, 2020
benchexec Public Forked fromsosy-lab/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
smackers/benchexec’s past year of commit activity
Python0Apache-2.0 226 0 0 UpdatedNov 27, 2020
smack-emulab Public
Configurations/scripts to run SV-COMP benchmarks on Emulab
smackers/smack-emulab’s past year of commit activity
Python00 3 0 UpdatedOct 21, 2020
democratizing-software-verification-workshop-2020 Public
smackers/democratizing-software-verification-workshop-2020’s past year of commit activity
00 0 0 UpdatedJul 22, 2020

View all repositories

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

smackers

PinnedLoading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!