Project deliverable Open Access

List of tools and techniques applicable for high and medium assurance for efficient assurance

Rollo, Jan; Alvarez de Sotomayor, Amelia; Caracuel, Benito; Ortega, Alvaro; Hametner, Reinhard; Tverdyshev, Sergey; Blasum, Holger; Kertis, Tomáš; Havle, Oto; Schulz, Thorsten; Hager, Michael

This deliverable summarizes consortium experience and expectations for a number of tools that can support high-assurance development for embedded systems.

Files (1.3 MB)
Name Size
certMILS-D1.2-List-of-tools-and-techniques-PU-M12.pdf
md5:2381128237c457126d3f0e051b0e7e9d
1.3 MB Download
78
433
views
downloads
All versions This version
Views 7878
Downloads 433433
Data volume 552.5 MB552.5 MB
Unique views 7171
Unique downloads 363363

Share

Cite as