Renato Neves

確率的な結果を持つ並行プログラムを分析するためのフレームワーク。

Linceの改善で、ハイブリッドシステムのシミュレーションがもっと簡単で効果的になったよ。