The following pages link to jStar (Q23207):
Displayed 30 items.
- Symbolic execution proofs for higher order store programs (Q287265) (← links)
- Specification patterns for reasoning about recursion through the store (Q393092) (← links)
- A shape graph logic and a shape system (Q744329) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- Certificates and Separation Logic (Q2830040) (← links)
- Two for the Price of One: Lifting Separation Logic Assertions (Q2914243) (← links)
- A theorem prover for Boolean BI (Q2931798) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- Specification Patterns and Proofs for Recursion through the Store (Q3088293) (← links)
- Tractable Reasoning in a Fragment of Separation Logic (Q3090833) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Featherweight VeriFast (Q3196351) (← links)
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- Classical BI: Its Semantics and Proof Theory (Q3575307) (← links)
- Matching Logic (Q4600770) (← links)
- A Shape Analysis for Non-linear Data Structures (Q4930728) (← links)
- Verified heap theorem prover by paramodulation (Q5168877) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
- Compositional Shape Analysis by Means of Bi-Abduction (Q5395670) (← links)
- Local Reasoning for Global Invariants, Part II (Q5395717) (← links)
- A proof system for separation logic with magic wand (Q5408443) (← links)
- Separation Logic Tutorial (Q5504642) (← links)