Abstracting Strings for Model Checking of C Programs
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 parametrized on an index (bound) domain and a...
Main Authors: | Henrich Lauko, Martina Olliaro, Agostino Cortesi, Petr Roc̆kai |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2020-11-01
|
Series: | Applied Sciences |
Subjects: | |
Online Access: | https://www.mdpi.com/2076-3417/10/21/7853 |
Similar Items
-
Static Analysis for ECMAScript String Manipulation Programs
by: Vincenzo Arceri, et al.
Published: (2020-05-01) -
Abstract and abstracting services/
by: 270078 Collison, Robert Lewis
Published: (1971) -
Abstract
Published: (2016-08-01) -
Abstract
Published: (2016-01-01) -
Abstract
Published: (2015-10-01)