Extracting Zing Models from C Source Code

Abstract

We propose an approach to an automatic extraction of verification models for the C language source code. We primarily focus on the representation of pointers and arrays, which make the extraction from the C language specific.

Keywords

• Extracting
• Models
• Source
• Code