2010 Fiscal Year Final Research Report
Verification of Multi-thread Programs via Linear Programming
| Project/Area Number |
20700019
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
TERAUCHI Tachio 東北大学, 大学院・情報科学研究科, 助教 (70447150)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Keywords | ソフトウェア検証 / プログラム言語 / 型推論 / 権限計算 / 線形計画法 |
|---|
| Research Abstract |
We propose a software verification framework based on the formalism of fractional capabilities thatstatically (i.e., at compile time) and automatically checksthatcertain bad things (e.g., data races) never happenin concurrent programs. The key to the success is the reduction of fractional capability calculito the problem of linear programming.
|
