Model checking data-independent systems with arrays
<p>We say a program is <em>data-independent</em> with respect to a data type X if the operations it can perform on values of type X are restricted to just equality testing, although the system may also input, store and move around (via assignment) values of type X within its varia...
| Main Authors: | , |
|---|---|
| 其他作者: | |
| 格式: | Thesis |
| 語言: | English |
| 出版: |
2003
|
| 主題: |