Go2Pins: a framework for the LTL verification of Go programs (extended version)

Autor: Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
Rok vydání: 2023
Předmět:
Zdroj: International Journal on Software Tools for Technology Transfer. 25:77-94
ISSN: 1433-2787
1433-2779
DOI: 10.1007/s10009-022-00692-w
Databáze: OpenAIRE
Externí odkaz: