Web www.patentalert.com

> Run-time verification of annotated software code
~ 00308