C Programs Formal Verification Using Maude
F Boutekkouk - … Conference on Innovative Research in Applied …, 2024 - ieeexplore.ieee.org
In this paper, we present a new approach for C programs formal verification based on the
Maude formal language. The input of the proposed approach is a C ANSI standard source …
Maude formal language. The input of the proposed approach is a C ANSI standard source …
C Software Formal Verification
F Boutekkouk - WiPiEC Journal-Works in Progress in …, 2024 - wipiec.digitalheritage.me
This paper reviews briefly the literature on formal verification of C software. Most existing C
software model checkers and automatic theorem provers deal well only with small size code …
software model checkers and automatic theorem provers deal well only with small size code …
[引用][C] C code formal verification using Maude
F Boutekkouk - International Journal of Computing and Digital …, 2023 - University of Bahrain