Results for "Computer software Verification" Showing 1 - 9 results of 9 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Computer+software++Verification%22&type=Subject&lng=en 9 0 50 A kernel to support computer-aided verification of embedded software Wed, 10 Jun 2026 12:45:40 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2479 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2479 Grobler, Leon D. Thesis 2006 Grobler, Leon D. 0 Simulation and verifcation software for superconducting electronic Circuits Wed, 10 Jun 2026 12:45:33 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106048 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106048 Delport, Johannes Arnoldus Thesis 2019 Delport, Johannes Arnoldus 0 Investigating the non-termination of affine loops Wed, 10 Jun 2026 12:44:55 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F80052 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F80052 Durant, Kevin Thesis 2013 Durant, Kevin 0 A comparison of two different model checking techniques Wed, 10 Jun 2026 12:44:41 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F53235 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F53235 Bull, J. J. D Thesis 2012 Bull, J. J. D 0 Automated program generation : bridging the gap between model and implementation Wed, 10 Jun 2026 12:44:30 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19584 Bezuidenhout, Johannes Abraham Thesis 2012 Bezuidenhout, Johannes Abraham 0 Design and evaluation of a formula cache for SMT-based bounded model checking tools Wed, 10 Jun 2026 12:43:43 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F103809 Breytenbach, Jean Anré Thesis 2018 Breytenbach, Jean Anré 0 A model checker for the LF system Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F19597 Gerber, Erick D. B. Thesis 2012 Gerber, Erick D. B. 0 An algebraic framework for reasoning about security Wed, 10 Jun 2026 12:43:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F79869 Rajaona, Solofomampionona Fortunat Thesis 2013 Rajaona, Solofomampionona Fortunat 0 A language to support verification of embedded software Wed, 10 Jun 2026 12:41:18 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49823 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49823 Swart, Riaan Thesis 2012 Swart, Riaan 0