Averest

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