Static Verification: An External DSL Advantage #1 Post by Zef » Tue, Nov 17, 2009, 7:47 PM UTC Static Verification: An External DSL Advantagezef.me