Théo Losekoot

According to our database, Théo Losekoot authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

2024

Automatic program verification by inference of relational models. (Vérification automatique de programmes par inférence de modèles relationnels).

Théo Losekoot

PhD thesis, 2024

Verification of Programs with ADTs Using Shallow Horn Clauses.

Théo Losekoot, Thomas Genet, Thomas P. Jensen

Proceedings of the Static Analysis - 31st International Symposium, 2024

2023

Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures.

Théo Losekoot, Thomas Genet, Thomas P. Jensen

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023