Go2Pins: A Framework for the LTL Verification of Go Programs.

Alexandre Kirszenberg Antoine Martin Hugo Moreau Etienne Renault

Published in: SPIN (2021)

Keyphrases

model checking
theoretical framework
main contribution
case study
high level
probabilistic model
lightweight
conceptual framework
machine learning
artificial intelligence
image segmentation
multiscale
semi supervised
computer programs