User menu

Accès à distance ? S'identifier sur le proxy UCLouvain | Saint-Louis

Search

Displaying 1 result.
    • Speech
    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