C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Go2Pins: a framework for the LTL verification of Go programs (extended version).
Alexandre Kirszenberg
Antoine Martin
Hugo Moreau
Etienne Renault
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
model checking
main contribution
machine learning
multiscale
lightweight
temporal logic
bounded model checking
data sets
probabilistic model
petri net