Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"anzsrc-for: 461203 Formal methods for software"”.
-
Order-Leading Branch and Bound for Neural Network Verification
… ubiquitous deployment in image classification, software engineering, and bug detection, the field still lacks rigorous methodologies to verify their behavior. Although high-level principles for safe and responsible AI are now widely endorsed, existing techniques that analyze each model in …
-
Towards A Practical High-Assurance Systems Programming Language
Writing correct and performant low-level systems code is a notoriously demanding job, even for experienced developers. To make the matter worse, formally reasoning about their correctness properties introduces yet another level of complexity to the task. It requires considerable expertise in both …