Showing 1 - 4 of 4 results for the Predictability by Construction
This brochure summarizes our area of work about Predictability by Construction: building high-stakes systems from certified software components.
This book describes specific engineering practices needed to integrate preexisting components with preexisting specifications successfully, illustrating the techniques described with case studies and examples.
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.