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...
| Hauptverfasser: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Abschlussarbeit |
| Sprache: | English |
| Veröffentlicht: |
2003
|
| Schlagworte: |