Research
O
ngoing
2- and 3-D Software Modeling
Java Analysis Tools
Optimized Object Models
Simple and Safe SQL Queries with C++ Templates
(
A
RA
R
AT)
The Common Aspect Proof Environment
(CAPE)
The Java Tools Language
(JTL)
Venn Diagram
VeriTech