244 followers
An Efficient VCGen-based Modular Verification of Relational Properties https://t.co/pex2mXzfRe
An Efficient VCGen-based Modular Verification of Relational Properties https://t.co/pex2mXzfRe
"Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS" by @k0nn0v, @lemmster, Stephan Merz https://t.co/rDKYsYlsXY
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins presented by Eduard Kamburjan #ISoLA2022. Details at https://t.co/96jpCyVVXh https://t.co/m3nKvzHoqb
RT @sltarifa: Great presentation of Juliane Päßler, a formal model of Metacontrol #ISoLA2022, #REMARO project. Details https://t.co/9gy1iss…