Abdulot Framework

PhD Thesis. (06/01/20) M. Echenim, N. Peltier, and Y. Sellami. Ilinva: Using Abduction to Generate Loop Invariants. In Frontiers of