Heike Wehrheim

新しいアプローチが、いろんなメモリモデルの連携プログラムの検証をスムーズにしてるよ。

複雑なソフトウェアを効率的に検証するための範囲プログラム解析の方法を探る。