Automatic verification of parameterized networks of processes (Q5941103): Difference between revisions

@@ Property / describes a project that uses @@
+CESAR
@@ Property / describes a project that uses: CESAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223068
@@ Property / cites work: Q4223068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284985
@@ Property / cites work: Q4284985 / rank @@
+Normal rank
@@ Property / cites work @@
+An experience in proving regular networks of processes by modular model checking
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+A structural induction theorem for processes
@@ Property / cites work: A structural induction theorem for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of parameterized networks of processes
+Normal rank
@@ Property / cites work @@
+Distributed mutual exclusion on a ring of processes
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3326832
@@ Property / cites work: Q3326832 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5941103