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
2
3
views
downloads
All versions This version
Views 22
Downloads 33
Data volume 3.8 MB3.8 MB
Unique views 11
Unique downloads 22

Share

Cite as