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 “"Symbolic verification"”.
-
Compositional Reasoning and Model Checking of Asynchronous Systems on Variations of LTL
Formal verification is a method that offers mathematically rigorous techniques for verifying system correctness. While it has become a foundational tool in the design and verification of critical systems, its application to modern, real-world systems is increasingly hindered by a combination of …
-
Analysis of randomized security protocols
Made available in DSpace on 2019-02-06T19:36:23Z (GMT). No. of bitstreams: 2 BAUER-DISSERTATION-2018.pdf: 942833 bytes, checksum: 783bd3a1adfd3dfd54474a5046e90152 (MD5) LICENSE.txt: 4210 bytes, checksum: 9c379298174d05b023e864fcc4653dd4 (MD5) Previous issue date: 2018-11-30