|
|
|
|
|
Henrich Lauko, Martina Olliaro, Agostino Cortesi and Petr Roc?kai
Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-String is...
ver más
|
|
|
|
|