Compositional verification of sequential programs with procedures (Q937300): Difference between revisions

@@ Property / describes a project that uses @@
+MAVEN
@@ Property / describes a project that uses: MAVEN / 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.2008.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2034063260
@@ Property / OpenAlex ID: W2034063260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754086
@@ Property / cites work: Q2754086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738309
@@ Property / cites work: Q4738309 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036555
@@ Property / cites work: Q4036555 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Pushdown System Model Checking
@@ Property / cites work: Improving Pushdown System Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2768503
@@ Property / cites work: Q2768503 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphical versus logical specifications
@@ Property / cites work: Graphical versus logical specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+MAVEN: Modular Aspect Verification
@@ Property / cites work: MAVEN: Modular Aspect Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of DPDA equivalence
@@ Property / cites work: Decidability of DPDA equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Rudiments of \(\mu\)-calculus
@@ Property / cites work: Rudiments of \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of pushdown automata: Application to model-checking
+Normal rank
@@ Property / cites work @@
+Formal methods for smart cards: an experience report
+Normal rank
@@ Property / cites work @@
+Q2753762
@@ Property / cites work: Q2753762 / rank @@
+Normal rank
@@ Property / cites work @@
+A generic approach to the static analysis of concurrent programs with procedures
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+State Space Representation for Verification of Open Systems
+Normal rank