Quantitative Verification

A technique for establishing certain properties, usually expressed in temporal logic, for a system model.

Visible to the public DARPA AVM Program

The Adaptive Vehicle Make Research Program

The Defense Advanced Research Projects Agency's (DARPA) Adaptive Vehicle Make (AVM) portfolio of programs had a goal of compressing the development timelines for new complex cyber-physical systems by at least five-fold. With AVM, DARPA pursued the development of several elements of enabling infrastructure aimed at radically transforming the systems engineering / design / verification (META), manufacturing (iFAB), and collaborative innovation (VehicleFORGE) elements of the overall "make" process for modern defense systems. Each of these infrastructure capabilities was largely gen