A22: Verifying Functional Equivalence Between C and Fortran Programs
Student: Wenhao Wu (University of Delaware)
Supervisor: Stephen Siegel (University of Delaware)
Abstract: Software 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.
ACM-SRC Semi-Finalist: no
Poster: pdf
Two-page extended abstract: pdf
Poster Index