Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.
Webpage describing the various projects undertaken as part of this effort.
Lightweight formal verification system developed to support research on usability of automated proof verification tools.
Lightweight web-based formal verification tool.
Random exercise generator for a course on modular arithmetic.