Go2Pins: A Framework for the LTL Verification of Go Programs

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault. Go2Pins: A Framework for the LTL Verification of Go Programs. In Alfons Laarman, Ana Sokolova, editors, Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Volume 12864 of Lecture Notes in Computer Science, pages 140-156, Springer, 2021. [doi]

Authors

Alexandre Kirszenberg

This author has not been identified. Look up 'Alexandre Kirszenberg' in Google

Antoine Martin

This author has not been identified. Look up 'Antoine Martin' in Google

Hugo Moreau

This author has not been identified. Look up 'Hugo Moreau' in Google

Etienne Renault

This author has not been identified. Look up 'Etienne Renault' in Google