Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742): Difference between revisions

@@ Property / cites work @@
+Parametrized invariance for infinite state processes
+Normal rank
@@ Property / cites work @@
+Q4518895
@@ Property / cites work: Q4518895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766662
@@ Property / cites work: Q2766662 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737006
@@ Property / cites work: Q4737006 / rank @@
+Normal rank
@@ Property / cites work @@
+Thread Quantification for Concurrent Shape Analysis
+Normal rank
@@ Property / cites work @@
+A Logic-Based Framework for Reasoning about Composite Data Structures
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized temporal verification diagrams
@@ Property / cites work: Generalized temporal verification diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Proving properties of a ring of finite-state machines
+Normal rank
@@ Property / cites work @@
+Reasoning about networks with many identical finite state processes
+Normal rank
@@ Property / cites work @@
+Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
+Normal rank
@@ Property / cites work @@
+Proving that programs eventually do something good
+Normal rank
@@ Property / cites work @@
+A general framework for automatic termination analysis od logic programs
+Normal rank
@@ Property / cites work @@
+Q2723423
@@ Property / cites work: Q2723423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472243
@@ Property / cites work: Q4472243 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of parameterized concurrent programs by modular reasoning about data and control
+Normal rank
@@ Property / cites work @@
+Proving Termination of Programs Automatically with AProVE
+Normal rank
@@ Property / cites work @@
+Proving that non-blocking algorithms don't block
@@ Property / cites work: Proving that non-blocking algorithms don't block / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of reachable patterns in linked data-structures
+Normal rank
@@ Property / cites work @@
+Oracle Semantics for Concurrent Separation Logic
@@ Property / cites work: Oracle Semantics for Concurrent Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Back to the future
@@ Property / cites work: Back to the future / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Temporal Verification of Reactive Systems: Response
+Normal rank
@@ Property / cites work @@
+Q4817530
@@ Property / cites work: Q4817530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472240
@@ Property / cites work: Q4472240 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783297
@@ Property / cites work: Q4783297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754094
@@ Property / cites work: Q2754094 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Skiplists with Arbitrary Many Levels
+Normal rank
@@ Property / cites work @@
+Combining Theories with Shared Set Operations
@@ Property / cites work: Combining Theories with Shared Set Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank