HACMS: high assurance cyber military systems

By Kathleen Fisher. 2012

22 citations recorded by the source corpus.

Subfields: Control and Systems Engineering, Surgery, Signal Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Control and Systems Engineering

1. Stuart J. Russell
2. Max Tegmark
3. Dan Dewey

In Surgery

1. Stuart J. Russell
2. Max Tegmark
3. Dan Dewey

In Signal Processing

1. Stuart J. Russell
2. Max Tegmark
3. Dan Dewey

Citations in the corpus

• Research Priorities for Robust and Beneficial Artificial Intelligence (2015, methodology): “…a complete, general-purpose operating-system kernel that has been mathematically checked against a formal specification to give a strong guarantee against crashes and unsafe operations, and HACMS, DARPA’s “clean-slate, formal methods-based approach” to a set of high-assurance software tools [29].”