Back to Search Start Over

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

Authors :
Alexandre Kirszenberg
Antoine Martin
Hugo Moreau
Etienne Renault
Source :
International Journal on Software Tools for Technology Transfer. 25:77-94
Publication Year :
2023
Publisher :
Springer Science and Business Media LLC, 2023.

Subjects

Subjects :
Software
Information Systems

Details

ISSN :
14332787 and 14332779
Volume :
25
Database :
OpenAIRE
Journal :
International Journal on Software Tools for Technology Transfer
Accession number :
edsair.doi...........b038338fe06f40bf7d44c8d348bada6c
Full Text :
https://doi.org/10.1007/s10009-022-00692-w
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details