Search Results - (program OR programme) verification

Refine Results
  1. Cover Image

    Specification and verification of context conditions for programming languages by Kaplan, Simon Mark

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. 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:
  4. Cover Image

    Process-aware programming assessment through temporal knowledge graph reasoning and LLM verification

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Automated program generation : bridging the gap between model and implementation by Bezuidenhout, Johannes Abraham

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  6. Cover Image

    A language to support verification of embedded software by Swart, Riaan

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

    Verification of the ADMS 4 Air Quality Model in determining the SO2 dispersion during the 2006 and 2007 winter over Elandsfontein, South Africa

    Published 2013
    Get full text
    Get full text
    Full Text Available
    Access Full Text at Repository Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  8. Cover Image

    A kernel to support computer-aided verification of embedded software by Grobler, Leon D.

    Published 2006
    Subjects: “…Computer programs -- Validation…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  9. 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:
  10. Cover Image

    Finite element analysis of a wing type structure with experimental verification of results. by Baumgartner, Edward Michael Ernst

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  11. Cover Image

    An algebraic framework for reasoning about privacy by Rajaona, Solofomampionona Forunat

    Published 2019
    Subjects: “…Program verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  12. Cover Image

    Verification of theoretical culvert by Verbytska, Anastasiya Stanislavivna

    Published 2011
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  13. 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:
  14. Cover Image

    Reducing communication in distributed model checking by Fourie, Jean Francois

    Published 2009
    Subjects: “…Program verification…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  15. Cover Image

    Optimal measurement and verification plan on lighting

    Published 2015
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  16. 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:
  17. Cover Image

    Development of a screening algorithm for the cervical cancer prevention programme in Botswana

    Published 2023
    Get full text
    Get full text
    Full Text Available
    Access Full Text at Repository Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  18. Cover Image

    A Physical Design verification framework for superconducting electronics by Van Staden, Ruben

    Published 2019
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  19. Cover Image

    Handwritten signature verification : a hidden Markov model approach by Le Riche, Pierre (Pierre Jacques)

    Published 2012
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  20. Cover Image

    Peer-to-peer biometric verification using nfc-enabled smartphones

    Published 2021
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: