Pinned Repositories
predator
A Shape Analyzer Based on Symbolic Memory Graphs
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
sv-comp
Information to reproduce results from SV-COMP (MOVED, please follow the link)
ProStatA
LLVM-based framework "Pro Statické Analyzátory"
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
predator
A Shape Analyzer Based on Symbolic Memory Graphs
predatorhp
A script to utilize multiple concurrently-running Predator Analyzers with various setup
sv-benchmarks
sv-comp
Information to reproduce results from SV-COMP
versokova's Repositories
versokova/predator
A Shape Analyzer Based on Symbolic Memory Graphs
versokova/predatorhp
A script to utilize multiple concurrently-running Predator Analyzers with various setup
versokova/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
versokova/sv-benchmarks
versokova/sv-comp
Information to reproduce results from SV-COMP