Name: Andreas
Type: User
Company: cqse.eu
Bio: Software Quality, Software Analysis, Software Testing, Software Model Checking, Formal Methods, Software Engineering, Automata Theory, Regression Testing
Location: Passau, Bavaria, Germany
Andreas's Projects
BASTET program analysis and verification framework
Apache Commons Lang
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
A file server that supports static serving, uploading, searching, accessing control, webdav...
Rust-based platform for the Web
istanbuljs compatible SWC coverage instrumentation plugin
Documentation for the SWC project.
WASM builds of the Z3 SMT solver