Results for (program OR programme) verification

Results for (program OR programme) verification Showing 1 - 50 results of 132 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%28program+OR+programme%29+verification&type=AllFields&lng=en 132 0 50 Python based FPGA design-flow Wed, 10 Jun 2026 12:51:07 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F20339 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F20339 New, Wesley Thesis 2016 New, Wesley 0 Further numerical techniques for planar elastostatic analysis by the boundary integral equation method Wed, 10 Jun 2026 12:50:51 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F7578 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F7578 Howell, Graham Conrad Thesis 2014 Howell, Graham Conrad 0 A GIS-based analysis of the status of streetlighting on the WCG road network: towards a spatial asset repository to guide decision making and asset management Wed, 10 Jun 2026 12:49:01 +0000 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F42724 https://search.frelip.org/Record/oai:open.uct.ac.za:11427%2F42724 Truter, Jason Pierre Thesis 2026 Truter, Jason Pierre 0 The Development of an IoT-Enabled Solid Waste Management System for a Smart City using Capacitated Vehicle Routing Problem and Agent-Based Simulation Wed, 10 Jun 2026 12:47:17 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F136153 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F136153 Monzambe, Magbiti Giovani Thesis 2026 Monzambe, Magbiti Giovani 0 Modelling of sanitary hot water energy consumption using adaptive neuro-fuzzy inference systems Wed, 10 Jun 2026 12:47:14 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100184 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100184 Blignault, George William Thesis 2016 Blignault, George William 0 A framework for the development and evaluation of a mobile training application for teachers to promote motor skills in young children in low-resource areas Wed, 10 Jun 2026 12:47:12 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F134597 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F134597 De Wit, Monique Thesis 2025 De Wit, Monique 0 Automated parameter extraction for Single Flux Quantum integrated circuits with LVS Wed, 10 Jun 2026 12:47:09 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F96992 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F96992 Roberts, Rebecca Mimi Catherina Thesis 2015 Roberts, Rebecca Mimi Catherina 0 Realising REDD in Africa : risk, feasibility and supporting policy Wed, 10 Jun 2026 12:46:57 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F71736 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F71736 Knowles, Tony Thesis 2012 Knowles, Tony 0 Identifying technical inefficiencies and quality concerns in institutional pharmacies of private hospital groups using data envelopment analysis Wed, 10 Jun 2026 12:46:50 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97913 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97913 Uys, Nina Thesis 2015 Uys, Nina 0 Reflections of newly qualified social workers on the execution of their management tasks in non-government organisations Wed, 10 Jun 2026 12:46:49 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123577 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123577 Mtombeni, Tirelo Esther Thesis 2021 Mtombeni, Tirelo Esther 0 The environmental implications of the ethical tenets of policies Wed, 10 Jun 2026 12:46:39 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51472 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51472 Van Rensburg, Ena Susan Thesis 2012 Van Rensburg, Ena Susan 0 A Physical Design verification framework for superconducting electronics Wed, 10 Jun 2026 12:46:20 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107100 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F107100 Van Staden, Ruben Thesis 2019 Van Staden, Ruben 0 Probabalistic load modelling of electrical demand of residential water heating Wed, 10 Jun 2026 12:46:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F20071 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F20071 Urban, Graeme John Thesis 2012 Urban, Graeme John 0 Impact assessment of energy-efficient lighting interventions Wed, 10 Jun 2026 12:46:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2651 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2651 Jakoef, Adiel Thesis 2009 Jakoef, Adiel 0 Compliance with the B-BBEE mandatory reporting & disclosure of South African listed companies : an exploratory and investigative study Wed, 10 Jun 2026 12:46:11 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126043 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126043 Saungweme, Lister Thesis 2022 Saungweme, Lister 0 Mathematical modelling of sediment transport dynamics in the Berg River considering current and future water resources development scenarios Wed, 10 Jun 2026 12:46:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50395 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F50395 Van der Walt, Sarel C. Thesis 2012 Van der Walt, Sarel C. 0 A survey of proof systems for CSP Wed, 10 Jun 2026 12:45:58 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F65505 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F65505 Van Zijl, Lynette Thesis 2012 Van Zijl, Lynette 0 Sustainable land use planning in the aftermath of the clearing of alien invasive plant species : a system dynamics modelling approach Wed, 10 Jun 2026 12:45:52 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F104939 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F104939 Mudavanhu, Shepherd Thesis 2018 Mudavanhu, Shepherd 0 Finite element analysis of a wing type structure with experimental verification of results. Wed, 10 Jun 2026 12:45:46 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F67960 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F67960 Baumgartner, Edward Michael Ernst Thesis 2012 Baumgartner, Edward Michael Ernst 0 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 Development of a telerobotic test bench system for small-field-of-operation bilateral applications with 3D visual and haptic (kinaesthetic) feedback Wed, 10 Jun 2026 12:45:37 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F86516 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F86516 Smit, Andre Thesis 2014 Smit, Andre 0 Development of a software application utilising classical efficiency theory, regression and Data Envelopment Analysis in the evaluation of thermal power plant performance. Wed, 10 Jun 2026 12:45:35 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97919 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F97919 De Villiers, Almero Thesis 2015 De Villiers, Almero 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 Distributed binary decision diagrams Wed, 10 Jun 2026 12:45:32 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F5411 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F5411 Fasan, Mary Oluwasola Thesis 2010 Fasan, Mary Oluwasola 0 Reflections of newly qualified social workers on the execution of their management tasks in non-government organisations Wed, 10 Jun 2026 12:45:31 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F110808 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F110808 Mtombeni, Tirelo Esther Thesis 2021 Mtombeni, Tirelo Esther 0 PAVDAM - probabilistic and volumetric design of asphalt mixtures Wed, 10 Jun 2026 12:45:29 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52987 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52987 Smit, Andre de Fortier Thesis 2012 Smit, Andre de Fortier 0 Thermal management and control of space satellite systems and subsystems in orbit Wed, 10 Jun 2026 12:45:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49738 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F49738 Van Wyk, Peter Arnold Thesis 2012 Van Wyk, Peter Arnold 0 Handwritten signature verification : a hidden Markov model approach Wed, 10 Jun 2026 12:44:59 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51784 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51784 Le Riche, Pierre (Pierre Jacques) Thesis 2012 Le Riche, Pierre (Pierre Jacques) 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 An approach to modern static analysis with property graphs Wed, 10 Jun 2026 12:44:51 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132198 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132198 Effendi, Sedick David Baker Thesis 2025 Effendi, Sedick David Baker 0 Using existing surveillance infrastructure to monitor pedestrians on pedestrian bridges: a proof of concept Wed, 10 Jun 2026 12:44:48 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100357 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F100357 Van der Merwe, Hardy Fraser Thesis 2016 Van der Merwe, Hardy Fraser 0 Concrete and symbolic linearisability checking of non-blocking concurrent data structures Wed, 10 Jun 2026 12:44:45 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123925 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F123925 Du Toit, Nicole Cathryn Thesis 2021 Du Toit, Nicole Cathryn 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 Development of analytical flexural models for steel fibre-reinforced concrete beams with and without steel bars Wed, 10 Jun 2026 12:44:36 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F18088 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F18088 Mbewe, Peter Binali Kamowa Thesis 2011 Mbewe, Peter Binali Kamowa 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 LF : a language for reliable embedded systems Wed, 10 Jun 2026 12:44:20 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F52322 Van Riet, F. A. Thesis 2012 Van Riet, F. A. 0 Development of a conceptual framework for integrating intelligent-product structures into a flexible manufacturing system Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126113 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F126113 Burkart, Adrian Thesis 2022 Burkart, Adrian 0 Reducing the state explosion problem during model checking Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F69386 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F69386 Barnard, Dieter Cornelius Thesis 2012 Barnard, Dieter Cornelius 0 Peacebuilding fragility and the dynamics of implementation: The Disarmament, Demobilisation and Reintegration process during ONUMOZ in Mozambique Wed, 10 Jun 2026 12:44:18 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F135617 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F135617 Bennett, Monique Jessica Thesis 2026 Bennett, Monique Jessica 0 An agent-based model for fuel and CO2 emission costs in multi-modal last-mile logistics Wed, 10 Jun 2026 12:44:16 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132214 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F132214 Huskisson, Dominic Thesis 2025 Huskisson, Dominic 0 Fire spreading in South African low-cost settlements "A physics-based model" Wed, 10 Jun 2026 12:44:15 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F98611 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F98611 Moradi, Ali Thesis 2016 Moradi, Ali 0 Comparative modelling of phosphorous production in rural catchments Wed, 10 Jun 2026 12:44:13 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51657 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51657 Matji, Maselaganye Petrus Thesis 2012 Matji, Maselaganye Petrus 0 Towards a performance related seal design method for Bitumen and modified road seal binders Wed, 10 Jun 2026 12:44:12 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F856 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F856 Milne, Terence Ian Thesis 2010 Milne, Terence Ian 0 Towards improving the contribution of the EIA process to environmental governance : analysis of Namibian case studies Wed, 10 Jun 2026 12:44:04 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F105003 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F105003 Joseph, Gabriel Thesis 2018 Joseph, Gabriel 0 Developing a results-based monitoring and evaluation system for the child support grants programme in Namibia Wed, 10 Jun 2026 12:43:58 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F128908 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F128908 Nshimyimana, Brigitte Thesis 2023 Nshimyimana, Brigitte 0 CubeSat flight software development with limited access to satellite hardware Wed, 10 Jun 2026 12:43:44 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F131910 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F131910 Slabber, Dirk Andre Thesis 2025 Slabber, Dirk Andre 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 Design of line-start permanent magnet synchronous machines using the Taguchi Method Wed, 10 Jun 2026 12:43:33 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F102938 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F102938 Sorgdrager, A. J. Thesis 2017 Sorgdrager, A. J. 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