Regular Model Checking using Widening Techniques (Q4921501): Difference between revisions

@@ Property / describes a project that uses @@
+MONA
@@ Property / describes a project that uses: MONA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817539
@@ Property / cites work: Q4817539 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+Permutation rewriting and algorithmic verification
+Normal rank
@@ Property / cites work @@
+Q4508292
@@ Property / cites work: Q4508292 / rank @@
+Normal rank
@@ Property / cites work @@
+``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
+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 @@
+Q4518896
@@ Property / cites work: Q4518896 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754094
@@ Property / cites work: Q2754094 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Model Checking using Widening Techniques
@@ Property / cites work: Regular Model Checking using Widening Techniques / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00187-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1971521983
@@ Property / OpenAlex ID: W1971521983 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4921501