RSS 2 projects tagged "Quality Assurance"

Download Website Updated 16 Jul 2001 pxpvalidate

Screenshot
Pop 18.22
Vit 68.29

pxpvalidate is based on the XML parser PXP, and simply checks XML files for errors. Both violations of well-formedness and validation constraints are discovered. It can process namespaces and even validate documents using namespaces.

Download Website Updated 28 Jul 2012 HOL

Screenshot
Pop 50.19
Vit 6.70

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

Screenshot

Project Spotlight

TurnKey Tomcat Appliance

An Ubuntu-based Apache Tomcat appliance that is easy to use and lightweight.

Screenshot

Project Spotlight

QtitanRibbon

An implementation of Microsoft's Ribbon UI for Qt.