245 followers
Model-based Fault Classification for Automotive Software https://t.co/b3nvXlmp8X
Model-based Fault Classification for Automotive Software https://t.co/b3nvXlmp8X
RT @purdue_pl: 📰RHLE: Modular Deductive Verification of Relational ∀∃ Properties 👥Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjami…
📰RHLE: Modular Deductive Verification of Relational ∀∃ Properties 👥Robert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware @ APLAS'22 🔗https://t.co/ux5QD7zuoO @rcdickerson @GhostofBendy