A22: Verifying Functional Equivalence Between C and
Fortran Programs
SessionPoster Reception
Author
Event Type
ACM Student Research Competition
Poster
Reception
TimeTuesday, November 14th5:15pm -
7pm
LocationFour Seasons Ballroom
DescriptionSoftware verification is a mature research area with
many techniques. These verification approaches can be
applied to programs written in different programming
languages; nevertheless, most verification tools are
only designed for programs written in C or Java. As a
result, verification tools are inadequate for other
languages, such as Fortran. A high level of software
safety is mandatory in most of its application
scenarios, which makes verification tools for Fortran
programs necessary and significant.
In this poster, the author illustrates the motivation and objectives of the project with examples. Also, this poster shows an extension (as a Fortran program verifier) of an existing verification platform -- CIVL. Additionally, the results of a set of extensive experiments conducted by the author is shown in this poster to indicate that the performance is satisfactory.
In this poster, the author illustrates the motivation and objectives of the project with examples. Also, this poster shows an extension (as a Fortran program verifier) of an existing verification platform -- CIVL. Additionally, the results of a set of extensive experiments conducted by the author is shown in this poster to indicate that the performance is satisfactory.
Author
