Results for "Program verification" Showing 1 - 8 results of 8 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Program+verification%22&type=Subject&lng=en 8 0 50 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 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 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 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 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 privacy Wed, 10 Jun 2026 12:42:24 +0000 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106607 https://search.frelip.org/Record/oai:scholar.sun.ac.za:10019.1%2F106607 Rajaona, Solofomampionona Forunat Thesis 2019 Rajaona, Solofomampionona Forunat 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