Designing critical systems with iterative automated safety analysis.

Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly

Browse the full DAC paper archive.