Research
Software
2LS for Program Analysis
Incremental BMC
(an option of CBMC)
ChainCover - Test Case Generation for Reactive Systems
ReaVer - Reactive System Verifier
Peter
Schrammel
Research Interests
Biography
Teaching
Publications