Model checking parameterized asynchronous shared-memory systems (Q5892422): Difference between revisions

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 6715522
+scientific article; zbMATH DE number 6845652
@@ Property / zbMATH Open document ID @@
+.68158
@@ Property / zbMATH Open document ID: 1381.68158 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-319-21690-4_5
@@ Property / DOI: 10.1007/978-3-319-21690-4_5 / rank @@
+Normal rank
@@ Property / published in @@
+Computer Aided Verification
@@ Property / published in: Computer Aided Verification / rank @@
+Normal rank
@@ Property / publication date @@
+March 2018Timestamp +2018-03-01T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2018-03-01T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 1 March 2018 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6845652
@@ Property / zbMATH DE Number: 6845652 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W374648105
@@ Property / OpenAlex ID: W374648105 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2761734916
@@ Property / OpenAlex ID: W2761734916 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06588
@@ Property / arXiv ID: 1505.06588 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of probabilistic systems with faulty communication
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Model Checking of Rendezvous Systems
+Normal rank
@@ Property / cites work @@
+The computational power of population protocols
@@ Property / cites work: The computational power of population protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Parameterized Verification of Asynchronous Shared-Memory Systems
+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 @@
+Subclasses of Presburger arithmetic and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Parameterised Pushdown Systems with Non-Atomic Writes
+Normal rank
@@ Property / cites work @@
+Q4804890
@@ Property / cites work: Q4804890 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank