Undecidable verification problems for programs with unreliable channels (Q4632436): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58201-0_78
+Normal rank
@@ Property / OpenAlex ID @@
+W2688386367
@@ Property / OpenAlex ID: W2688386367 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable verification problems for programs with unreliable channels
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q3780411
@@ Property / cites work: Q3780411 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimulation equivalences for a class of non-finite-state programs
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+On some variants of Post's correspondence problem
@@ Property / cites work: On some variants of Post's correspondence problem / rank @@
+Normal rank
@@ Property / cites work @@
+Boundedness, empty channel detection, and synchronization for communicating finite automata
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank