Abstract Interpretation of FIFO Replacement (Q3392924): Difference between revisions

@@ Property / describes a project that uses @@
+ASTREE
@@ Property / describes a project that uses: ASTREE / 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.1007/978-3-642-03237-0_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2157698826
@@ Property / OpenAlex ID: W2157698826 / rank @@
+Normal rank
@@ Property / cites work @@
+Cache behavior prediction by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Timing predictability of cache replacement policies
+Normal rank
@@ Property / cites work @@
+An abstract interpretation-based framework for software watermarking
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
+Normal rank