Showing 1 - 4 of 4 results for Predictability by Construction
This brochure summarizes our area of work about Predictability by Construction: building high-stakes systems from certified software components.
Copper is a software model checker that can be used to verify whether a concurrent C program satisfies its safety, reliability, or security requirements.
The PACC Starter Kit is an integrated set of tools that demonstrates how technologies can be combined to deliver objective confidence in predictions of system behavior.
This book describes specific engineering practices needed to integrate preexisting components with preexisting specifications successfully, illustrating the techniques described with case studies and examples.