Formal methods and software engineering for DL. Security, safety and productivity for DL systems development
nn-dependability-kit: Engineering Neural Networks for Safety-Critical Systems