A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2010.12.004
@@ Property / DOI: 10.1016/j.ic.2010.12.004 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2010.12.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2079590852
@@ Property / OpenAlex ID: W2079590852 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint calculus for local and global program flows
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847017
@@ Property / cites work: Q4847017 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking the full modal mu-calculus for infinite sequential processes
+Normal rank
@@ Property / cites work @@
+Q4737201
@@ Property / cites work: Q4737201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449203
@@ Property / cites work: Q4449203 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714447
@@ Property / cites work: Q5714447 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4223067
@@ Property / cites work: Q4223067 / rank @@
+Normal rank
@@ Property / cites work @@
+Winning Regions of Pushdown Parity Games: A Saturation Method
+Normal rank
@@ Property / cites work @@
+A saturation method for the modal \(\mu \)-calculus over pushdown systems
+Normal rank
@@ Property / cites work @@
+Q4134928
@@ Property / cites work: Q4134928 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted pushdown systems and their application to interprocedural dataflow analysis
+Normal rank
@@ Property / cites work @@
+Note on winning positions on pushdown games with \(\omega\)-regular conditions
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2010.12.004
@@ Property / DOI: 10.1016/J.IC.2010.12.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:532393