New Research Results Added in the Last 90 Days

Research Projects

• A Feasibility Study for Static Analysis of Binary Executables
• Assurance and Recertification of Safety-Critical Software in Legacy Systems
• Automated Tool and Method for System Safety Analysis
• Bounds Computation for Adaptive Systems V&V
• Program Model Checking Case Studies and Practitioner's Guide
• Software development cost: how much? You sure?