Antoine Chenoy

According to our database, Antoine Chenoy authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs.

Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay

Proceedings of the Model Checking Software - 27th International Symposium, 2021