Reasoning about sequences of memory states (Q636268): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2009.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1983255876
@@ Property / OpenAlex ID: W1983255876 / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737132
@@ Property / cites work: Q4737132 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Shapes: Lists with Ordered Data
@@ Property / cites work: Beyond Shapes: Lists with Ordered Data / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic as a framework for spatio-temporal reasoning
+Normal rank
@@ Property / cites work @@
+Shape Analysis for Composite Data Structures
@@ Property / cites work: Shape Analysis for Composite Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programs with Lists Are Counter Automata
@@ Property / cites work: Programs with Lists Are Counter Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Sequences of Memory States
@@ Property / cites work: Reasoning About Sequences of Memory States / rank @@
+Normal rank
@@ Property / cites work @@
+On the Almighty Wand
@@ Property / cites work: On the Almighty Wand / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760246
@@ Property / cites work: Q2760246 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4474211
@@ Property / cites work: Q4474211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753678
@@ Property / cites work: Q2753678 / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to constraint LTL
@@ Property / cites work: An automata-theoretic approach to constraint LTL / rank @@
+Normal rank
@@ Property / cites work @@
+The Effects of Bounding Syntactic Resources on Presburger LTL
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Towards Model-Checking Programs with Lists
@@ Property / cites work: Towards Model-Checking Programs with Lists / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Characterizing Provability in BI’s Pointer Logic Through Resource Graphs
+Normal rank
@@ Property / cites work @@
+Tableaux and Resource Graphs for Separation Logic
@@ Property / cites work: Tableaux and Resource Graphs for Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Q2722067
@@ Property / cites work: Q2722067 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417895
@@ Property / cites work: Q4417895 / rank @@
+Normal rank