Design and implementation of a verified interpreter for additive manufacturing programs: Experience report
Explore the source record for details and available documents.
Computer science↗
Engineering topics
Sottile, M J
Publications and source records attributed to Sottile, M J.
Formal reasoning to improve trust for scientific applications
Explore the source record for details and available documents.
Mathematics and Computing, Computer science↗
Improving HPC Code Integrity using Formal Methods
Explore the source record for details and available documents.
Computer science↗