Optimizing State Exploration in Model Checking using Machine learning and Data Mining

About

TIMA Laboratory

Also known as: TIMA

TIMA Laboratory is a public joint research unit involving CNRS, Grenoble-INP, and UGA. It focuses on integrated systems, engaging in cooperative projects with diverse international partners.

Metadata

Application areas: Climate and environment, Defence, Healthcare

Topics: Data management, Machine learning, Software engineering

Summary

The TIMA Laboratory is seeking a candidate to optimize state exploration in model checking through machine learning and data mining techniques, enhancing the efficiency and effectiveness of verification processes.