prusti-contracts (cargo): Tools for specifying contracts with Prusti
Keywords: verification|specifications|contracts|prusti|formal|formal-verification|rust|viper