Search Results - ZIRKEL, Timothy K

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    TASS: The Toolkit for Accurate Scientific Software

    TASS: The Toolkit for Accurate Scientific Software by Siegel, Stephen F., Zirkel, Timothy K.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Automatic Formal Verification of MPI-Based Parallel Programs

    Automatic Formal Verification of MPI-Based Parallel Programs by SIEGEL, Stephen F, ZIRKEL, Timothy K

    Published in ACM SIGPLAN notices
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing

    FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing by Siegel, Stephen F., Zirkel, Timothy K.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    CIVL: the concurrency intermediate verification language

    CIVL: the concurrency intermediate verification language by Siegel, Stephen F., Manchun Zheng, Ziqing Luo, Zirkel, Timothy K., Marianiello, Andre V., Edenhofner, John G., Dwyer, Matthew B., Rogers, Michael S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: