Verification by augmented finitary abstraction (Q1854391): Difference between revisions

@@ Property / cites work @@
+Generalized temporal verification diagrams
@@ Property / cites work: Generalized temporal verification diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885877
@@ Property / cites work: Q4885877 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3922147
@@ Property / cites work: Q3922147 / rank @@
+Normal rank
@@ Property / cites work @@
+Completing the temporal picture
@@ Property / cites work: Completing the temporal picture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490758
@@ Property / cites work: Q4490758 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Communicating Processes from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+The \(\mu\)-calculus as an assertion-language for fairness arguments
+Normal rank
@@ Property / cites work @@
+Verification of concurrent programs: The automata-theoretic framework
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank