Giters
smackers

smackers

Geek Repo

Github PK Tool:Github PK Tool

smackers's repositories

smack

SMACK Software Verifier and Verification Toolchain

Language:CLicense:NOASSERTIONStargazers:425Issues:23Issues:452

whoop

automatic data race analysis for Linux device drivers

Language:CLicense:NOASSERTIONStargazers:12Issues:8Issues:0

sbb

SMACK Boogie Benchmarks

License:MITStargazers:3Issues:7Issues:2

smack-images

Language:ShellStargazers:2Issues:3Issues:0

smack-rust-regressions

Regression tests for Rust support in SMACK

Language:RustLicense:MITStargazers:2Issues:4Issues:0

lockpwn

blazing fast symbolic analysis for concurrent C programs

Language:C#License:MITStargazers:1Issues:6Issues:1

smackd

Eclipse Plugin for Debugging with SMACK

Language:JavaStargazers:1Issues:5Issues:18

sv-benchmarks

Stargazers:1Issues:5Issues:0

bam-bam-boogieman

Boogie AST Manipulator

Language:BoogieLicense:MITStargazers:0Issues:0Issues:0

smack-emulab

Configurations/scripts to run SV-COMP benchmarks on Emulab

Language:PythonStargazers:0Issues:4Issues:7

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

corral

solver for the reachability modulo theories problem

Language:BoogieLicense:MITStargazers:0Issues:1Issues:0

democratizing-software-verification-workshop-2019

Stargazers:0Issues:0Issues:0

democratizing-software-verification-workshop-2020

Stargazers:0Issues:4Issues:0

democratizing-software-verification-workshop-2022

Stargazers:0Issues:2Issues:0

homebrew-smack

Language:RubyStargazers:0Issues:3Issues:0

pthreadDriverBenchmarks

Language:CStargazers:0Issues:4Issues:1

smack-ml

Language:PythonStargazers:0Issues:4Issues:0

smack-wllvm

Language:ShellLicense:MITStargazers:0Issues:3Issues:0

smackers.github.io

SMACK Homepage

Language:CSSStargazers:0Issues:4Issues:0