Login / Signup

RefinedRust: A Type System for High-Assurance Verification of Rust Programs.

Lennard GäherMichael SammlerRalf JungRobbert KrebbersDerek Dreyer
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • high assurance
  • software systems
  • operating system
  • fault tolerant
  • access control
  • distributed systems
  • model checking
  • software engineering
  • formal verification
  • object oriented
  • data management
  • face verification