Results for "Model checking" 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=%22Model+checking%22&type=Subject&lng=en 9 0 50 Business process modelling using model checking and the theory of constraints Wed, 10 Jun 2026 12:46:30 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F4269 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F4269 Odendaal, Maghiel Jock Thesis 2010 Odendaal, Maghiel Jock 0 Verifying Android applications using Java PathFinder Wed, 10 Jun 2026 12:46:23 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F102802 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F102802 Botha, Heila-Marié Thesis 2017 Botha, Heila-Marié 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 Validation of a microkernel : a case study Wed, 10 Jun 2026 12:44:19 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51539 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51539 De Villiers, Pieter Jan Albertus Thesis 2012 De Villiers, Pieter Jan Albertus 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 Reducing communication in distributed model checking Wed, 10 Jun 2026 12:41:54 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F2176 Fourie, Jean Francois Thesis 2009 Fourie, Jean Francois 0 An LTL verification system based on automata theory Wed, 10 Jun 2026 12:41:16 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51128 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F51128 Inggs, Cornelia Petronella Thesis 2012 Inggs, Cornelia Petronella 0 Real-time task schedulability analysis via spotlight abstraction Wed, 10 Jun 2026 12:37:51 +0000 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F98004 https://search.frelip.org/Record/oai:repository.up.ac.za:2263%2F98004 Thesis 2024 0