243 followers Verification papers @verif_papers An Efficient VCGen-based Modular Verification of Relational Properties https://t.co/pex2mXzfRe 17 Jan 2024 Reply Repost Favourite