software verification

Interface Grammars for Modular Software Verification