Runtime Verification

Runtime Verification 旨在使用 runtime verification 技術，提升軟件系統的安全性、可靠性和正確性。其團隊由這一領域的先驅與領導者組成。 運行時驗證 runtime verification 是一種動態軟件分析方法，可在程序執行時對其進行分析、觀察執行結果，並使用這些結果查找錯誤。 運行時驗證 runtime verification 比傳統的形式分析技術更輕量級，也不意味着取代傳統的基於單元的、功能和集成測試，甚至是輕量級的靜態分析工具。