Safety Critical Systems Formal Verification Using Execution Traces.

Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini

Browse the full WETICE paper archive.