Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini. Safety Critical Systems Formal Verification Using Execution Traces. In 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018. pages 247-250, IEEE Computer Society, 2018. [doi]
Abstract is missing.