Research



Software

2LS for Program Analysis
Incremental BMC
ChainCover - Test Case Generation for Reactive Systems
ReaVer - Reactive System Verifier

Peter
Schrammel



Research Interests



Biography



Teaching



Publications