Rust
From MaRDI portal
Software:40151
swMATH28437MaRDI QIDQ40151FDOQ40151
Author name not available (Why is that?)
Cited In (21)
- Verifying Whiley programs with Boogie
- Formal verification of a Java component using the RESOLVE framework
- Metamath Zero: designing a theorem prover prover
- Set Constraints, Pattern Match Analysis, and SMT
- Title not available (Why is that?)
- COCHIS: Stable and coherent implicits
- A Recursive Inclusion Checker for Recursively Defined Subtypes
- Refinement through restraint: bringing down the cost of verification
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems
- Tackling Real-Life Relaxed Concurrency with FSL++
- On the Frobenius number of certain numerical semigroups
- RustHorn: CHC-Based Verification for Rust Programs
- Computing race variants in message-passing concurrent programming with selective receives
- Extracting functional programs from Coq, in Coq
- Leveraging compiler intermediate representation for multi- and cross-language verification
- Abstraction and subsumption in modular verification of C programs
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- Temporary Read-Only Permissions for Separation Logic
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
- Efficient Verified Implementation of Introsort and Pdqsort
- Title not available (Why is that?)
This page was built for software: Rust
