C Wolf - A Toolset for Extracting Models from C Programs.

Daniel C. DuVarney, S. Purushothaman Iyer

Browse the full FORTE paper archive.