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]