WolframPfeifer
I am currently a Ph.D. student at Karlsruhe Institute of Technology (KIT).
Karlsruhe Institute of TechnologyKarlsruhe, Germany
Pinned Repositories
contract-lib-java
Contract-LIB proposal and tool-chain
key
KeY Theorem Prover for Deductive Java Verification
key-docs
Documentation for the KeY Theorem Prover
contract-lib
Contract-LIB proposal and tool-chain
jmlparser
A Parser for JML and Java.
key
KeY Theorem Prover for Deductive Java Verification
key-smtmgr
scriptcounter
A small utility to obtain statistics for experimental scripts for the KeY prover
spotless-intellij-gradle
An IntelliJ plugin to allow running the Spotless gradle task from within the IDE.
universe
Generic Universe Type System
WolframPfeifer's Repositories
WolframPfeifer/contract-lib
Contract-LIB proposal and tool-chain
WolframPfeifer/jmlparser
A Parser for JML and Java.
WolframPfeifer/key
KeY Theorem Prover for Deductive Java Verification
WolframPfeifer/key-smtmgr
WolframPfeifer/scriptcounter
A small utility to obtain statistics for experimental scripts for the KeY prover
WolframPfeifer/spotless-intellij-gradle
An IntelliJ plugin to allow running the Spotless gradle task from within the IDE.
WolframPfeifer/universe
Generic Universe Type System