Hugo Moreau

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Computer Programs

Conceptual Framework

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
Go2Pins: a framework for the LTL verification of Go programs (extended version). Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
Go2Pins: A Framework for the LTL Verification of Go Programs. SPIN (2021)