Verifying Fortran Programs with CIVL.

Wenhao Wu Jan Hückelheim Paul D. Hovland Stephen F. Siegel

Published in: TACAS (1) (2022)

Keyphrases

multiscale
databases
computer vision
information systems
metadata
case study
operating system
model checking
answer sets
scientific computing
automatic programming