Search Results - "Formal methods"

  • Showing 1 - 4 results of 4
Refine Results
  1. Cover Image

    Verified derivative-based regular expression matching by Perry, Keegan Kyle

    Published 2026
    Subjects: “…Formal methods (Computer science)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Reducing communication in distributed model checking by Fourie, Jean Francois

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

    Formal specification and verification of safety interlock systems: A comparative case study by Seotsanyana, Motlatsi

    Published 2008
    Subjects: “…Formal methods (Computer science)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  4. Cover Image

    Formal concept analysis applied to pattern matching and automata by Venter, Frederick Johannes

    Published 2021
    Subjects: “…Formal methods (Computer Science)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: