Finite-word hyperlanguages (Q6186311): Difference between revisions

@@ Property / cites work @@
+HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+A temporal logic for asynchronous hyperproperties
@@ Property / cites work: A temporal logic for asynchronous hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Program Repair for Hyperproperties
@@ Property / cites work: Program Repair for Hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing reactive systems from hyperproperties
+Normal rank
@@ Property / cites work @@
+Monitoring hyperproperties
@@ Property / cites work: Monitoring hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Noninterference for concurrent programs and thread systems
+Normal rank
@@ Property / cites work @@
+Compositional model checking for multi-properties
@@ Property / cites work: Compositional model checking for multi-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking for hyperproperties
@@ Property / cites work: Bounded model checking for hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank