Nicolas Osborne

According to our database, Nicolas Osborne authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM.

Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025