The following pages link to Rust (Q40151):
Displayed 21 items.
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- Formal verification of a Java component using the RESOLVE framework (Q831953) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Computing race variants in message-passing concurrent programming with selective receives (Q2165226) (← links)
- Metamath Zero: designing a theorem prover prover (Q2219381) (← links)
- Refinement through restraint: bringing down the cost of verification (Q2982005) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- Tackling Real-Life Relaxed Concurrency with FSL++ (Q2988652) (← links)
- (Q3994022) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- On the Frobenius number of certain numerical semigroups (Q4994454) (← links)
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091) (← links)
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems (Q5041100) (← links)
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- Efficient Verified Implementation of Introsort and Pdqsort (Q5049010) (← links)
- (Q5076059) (← links)
- Set Constraints, Pattern Match Analysis, and SMT (Q5098738) (← links)
- Extracting functional programs from Coq, in Coq (Q5101927) (← links)
- A Recursive Inclusion Checker for Recursively Defined Subtypes (Q5870864) (← links)