Wael-Amine Boutglay

According to our database, Wael-Amine Boutglay authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

Data-Driven Verification of Procedural Programs with Integer Arrays.

Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2022

Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.

Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl

Proceedings of the Computer Aided Verification - 34th International Conference, 2022