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