44 followers
@VESSEDIA project partner @CEA presented a demo related to the “MetAcsl: Specification and Verification of High-Level Properties” presentation at the TACAS 2019 conference in Prague. Check out the related publication: https://t.co/f6hmWx9u3G #H2020 #IoTsec