Compositional model checking for multi-properties (Q2234059): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-67067-2_4
+Normal rank
@@ Property / OpenAlex ID @@
+W3120552358
@@ Property / OpenAlex ID: W3120552358 / rank @@
+Normal rank
@@ Property / cites work @@
+HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
+Normal rank
@@ Property / cites work @@
+Learning regular sets from queries and counterexamples
+Normal rank
@@ Property / cites work @@
+Q5090956
@@ Property / cites work: Q5090956 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
+Normal rank
@@ Property / cites work @@
+Finite-word hyperlanguages
@@ Property / cites work: Finite-word hyperlanguages / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Information Flow in Reactive Systems
+Normal rank
@@ Property / cites work @@
+Algorithms for model checking HyperLTL and HyperCTL\(^*\)
+Normal rank
@@ Property / cites work @@
+The First-Order Logic of Hyperproperties
@@ Property / cites work: The First-Order Logic of Hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
+Normal rank
@@ Property / cites work @@
+Property directed self composition
@@ Property / cites work: Property directed self composition / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5190790
@@ Property / cites work: Q5190790 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy self-composition for security verification
@@ Property / cites work: Lazy self-composition for security verification / rank @@
+Normal rank