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

We introduce Go2Pins, a tool that takes a program written in Go and links it with two model checkers: LTSMin (Kant et al. Ltsmin: high-performance language-independent model checking. In: TACAS’15, pp. 692–707, 2015) and Spot (Duret-Lutz et al. Spot 2.0-a framework for LTL and ω automata manipulatio...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 25; H. 1; S. 77 - 94
Hauptverfasser:	Kirszenberg, Alexandre, Martin, Antoine, Moreau, Hugo, Renault, Etienne
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2023 Springer Nature B.V
Schlagworte:	Black boxes Boxes Computer Science Handles Interfaces Programming languages Reflexivity Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Verification Abstractions PSL Golang model-checking
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!