Automatic synthesis of CAE

3 min talk and demo from Assure 2024

Background and some details in  Enabling Theory-based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis, by Srivatsan Varadarajan and others. Presented at SASSUR Workshop, Sept 2024, published in SafeComp Workshops, Springer LNCS 14989. pp 173–187