Software verfication, in particular currently

• Machine Learning in software verification
• Performance prediction in software verification