Menu utilisateur

Accès à distance ? S'identifier sur le proxy UCLouvain

Rechercher

Affichage: 1 result.
    • Communication
    C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs
    Chenoy, Antoine[UCL] Duchêne, Fabien[UCL] Given-Wilson, Thomas[UCL] Legay, Axel[UCL] (2021) SPIN 2021 - 27th International SPIN Symposium on Model Checking of Software — Online