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 1 of 1 for “"Declarative verification"”.
-
Reasoning under partial observability in heterogeneous networked systems
… compliance, and reachability can be expressed as declarative queries and evaluated soundly under partial observability. The same representation supports semantic minimization, allowing complex systems to be reduced to smaller models that preserve behaviors of interest. A prototype implementation …