software

• Random Forests.
  A C++ implementation of Random Forests for the detection, recognition and learning of human face images. The software has also been applied to the recognition of arbitrary objects.
  [src] | [bib]
  
  
• JTurret.
  JTurret is a Java security contract monitor. It enforces the ideas behind "Design by Contract", a concept introduced by Bertrand Meyer. Design by Contract, or DBC for short, outlines expectations of computer software and verifies if the software correctly satisfies the expectations.
  
  Mainly,
  • Behavior expectations can be supplied with invariants, preconditions and postconditions.
  • Preconditions are specified with past LTL (linear temporal logic) formulas. They are evaluated using recursion.
  • Postconditions are specified with future LTL formulas. They are evaluated by converting the expressions to a generalized Buechi Automaton and evaluating the state machine on-line at run time.

[info] | [src] | [description]