Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
symbolicValueAnalysis
Work regarding a symbolic execution CPA and its implementation in CPAchecker.
symbolicValueAnalysis-enhanced
Enhancements to Symbolic Value Analysis
lembergerth's Repositories
lembergerth/symbolicValueAnalysis
Work regarding a symbolic execution CPA and its implementation in CPAchecker.
lembergerth/symbolicValueAnalysis-enhanced
Enhancements to Symbolic Value Analysis
lembergerth/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
lembergerth/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
lembergerth/cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
lembergerth/crest
CREST is a concolic test generation tool for C.
lembergerth/data-structures
Random implementations of data structures
lembergerth/go-dht
Golang library to interact with DHT11/DHT22/DHT12 temperature and humidity sensors from Raspberry PI.
lembergerth/home-assistant.io
:blue_book: Home Assistant User documentation
lembergerth/indigo
:ramen: Minimalist Jekyll Template
lembergerth/java-common-lib
SoSy-Lab Java Common Library
lembergerth/klee.github.io
lembergerth/memcached
memcached development tree
lembergerth/pms-docker
Plex Media Server Docker repo, for all your PMS docker needs.
lembergerth/pycparser
:snake: Complete C99 parser in pure Python
lembergerth/researcher
A jekyll based resume template
lembergerth/simpleReminder
A simple reminder/task application written in Java and using FeatureHouse
lembergerth/srciror
A mutation tool for source and IR
lembergerth/sv-benchmarks
Collection of Verification Tasks
lembergerth/sv-comp
Information to reproduce results from SV-COMP
lembergerth/symbiotic
Symbiotic is a tool for verifying computer programs based on instrumentation, program slicing and KLEE
lembergerth/validation_set
lembergerth/vim-ctrlspace
Vim Space Controller