Projects of the VSE Group

Current Projects

VSE II
(Enhance VSE with concurrency, structual deduction, and an integrated theorem prover)
PADS
(Proof Assistant for the Development of Software)
DIRECT
(Difference Reduction Techniques to Control Theorem Proving)

Completed Projects

VSE (Verification Support Environment)
VSE-Pilot (Applications of VSE with industrial Prtners)