The Black-Box Simplex Architecture represents another alternative, runtime verification (which trades off exponential-state-space challenges for real-time-verification challenges). https://t.co/3KDVe4UUUA https://t.co/ijhnlv58BT
NASA Formal Methods
Springer International Publishing