Verification by augmented abstraction: The automata-theoretic view (Q5946060): Difference between revisions

@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ 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 @@
+Q3739111
@@ Property / cites work: Q3739111 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945222
@@ Property / cites work: Q4945222 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification by augmented finitary abstraction
@@ Property / cites work: Verification by augmented finitary abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+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 @@
+Q3758891
@@ Property / cites work: Q3758891 / rank @@
+Normal rank
@@ Property / cites work @@
+The \(\mu\)-calculus as an assertion-language for fairness arguments
+Normal rank
@@ Property / cites work @@
+On verifying that a concurrent program satisfies a nondeterministic specification
+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
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank