Go2Pins: A Framework for the LTL Verification of Go Programs. - Alexandre Kirszenberg; Antoine Martin; Hugo Moreau; Etienne Renault (SPIN, 2021)

Go2Pins: a framework for the LTL verification of Go programs (extended version). - Alexandre Kirszenberg; Antoine Martin; Hugo Moreau; Etienne Renault (Int. J. Softw. Tools Technol. Transf., 2023)