跳去內容

Averest

出自維基百科,自由嘅百科全書

Averest 係一種同步編程語言同埋一組工具,用嚟指定、驗證同埋實現反應式系統。佢包括一個用喺同步程序嘅編譯器、一個符號模型檢查器同埋一個用喺軟硬件綜合嘅工具。