BI Grant Announcements

• Development of a Bounded Model Checker for SPARK [closed]
• Existential Abstraction for Critical Programs [closed]
• lTechniques and tools for the analysis and verification of C code [closed]