Search Results - program debugging

  • Showing 1 - 7 results of 7
Refine Results
  1. 1

    Algorithmic program debugging Ehud Y. Shapiro. by Shapiro, Ehud Y.

    Published 1983
    Get full text
    eBook
  2. 2

    Mathematical theory of computation / Zohar Manna. by Manna, Zohar

    Published 2003
    Book
  3. 3

    The SPIN model checker : primer and reference manual / Gerard J. Holzmann. by Holzmann, Gerard J.

    Published 2003
    Book
  4. 4
  5. 5
  6. 6
  7. 7

    SMT2Test: from SMT formulas to effective test cases by Chengyu Zhang, Zhendong Su

    Published 2024
    Subjects: “…Program verification…”
    Get full text
    Default Article