stahlbauer
Software Quality, Software Analysis, Software Testing, Software Model Checking, Formal Methods, Software Engineering, Automata Theory, Regression Testing
cqse.euPassau, Bavaria, Germany
Pinned Repositories
teamscale-javascript-profiler
Teamscale JavaScript Profiler
cbmc
C Bounded Model Checker
Bastet
BASTET program analysis and verification framework
java-smt
JavaSMT - Unified Java API for SMT solvers.
Bastet
BASTET program analysis and verification framework
cbmc
commons-lang
Apache Commons Lang
z3.ts
z3.wasm
WASM builds of the Z3 SMT solver
swc
Rust-based platform for the Web
stahlbauer's Repositories
stahlbauer/z3.ts
stahlbauer/z3.wasm
WASM builds of the Z3 SMT solver
stahlbauer/Bastet
BASTET program analysis and verification framework
stahlbauer/cbmc
stahlbauer/commons-lang
Apache Commons Lang
stahlbauer/java-smt
stahlbauer/swc
Rust-based platform for the Web
stahlbauer/swc-coverage-instrument
istanbuljs compatible SWC coverage instrumentation plugin
stahlbauer/swc-website
Documentation for the SWC project.
stahlbauer/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
stahlbauer/dufs
A file server that supports static serving, uploading, searching, accessing control, webdav...
stahlbauer/ux-workshop