-----Original Message-----
From: Sanjeeb.Sahoo_at_sun.com on behalf of Sahoo
Sent: Tue 12/9/2008 12:53 PM
To: verifier_at_glassfish.dev.java.net
Subject: [verifier] Enterprise Java Community: Pondering About JSR-135, the New Servlet 3.0 Specification
Some thoughts about how verifier can help detect bad use cases: