verifier (cargo): Macros that provide common software verifier primitives
Keywords: rust|software-verification|verification-benchmarks