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

@@ Property / author @@
+Sumit K. Garg
@@ Property / author: Sumit K. Garg / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5883958
@@ Property / zbMATH DE Number: 5883958 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal \(\mu \)-calculus
@@ Property / zbMATH Keywords: modal \(\mu \)-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pushdown systems
@@ Property / zbMATH Keywords: pushdown systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parity games
@@ Property / zbMATH Keywords: parity games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+winning regions
@@ Property / zbMATH Keywords: winning regions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+global model checking
@@ Property / zbMATH Keywords: global model checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+saturation methods
@@ Property / zbMATH Keywords: saturation methods / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:532393