Search Results - (("Computer programs Verification") OR ("Computer programme Verification"))

Search alternatives:

  • Showing 1 - 4 results of 4
Refine Results
  1. Cover Image

    A survey of proof systems for CSP by Van Zijl, Lynette

    Published 2012
    Subjects: “…Computer programs -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    An LTL verification system based on automata theory by Inggs, Cornelia Petronella, Van Wyk, Cornelia

    Published 2012
    Subjects: “…Computer programs -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

    Published 2012
    Subjects: “…Computer programs -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    A model checker for the LF system by Gerber, Erick D. B.

    Published 2012
    Subjects: “…Computer programs -- Verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: