Difference between revisions of "Publications/kirszenberg.18.seminar"
From LRDE
(Created page with "{{CSIReport | authors = Alexandre Kirszenberg | title = Automatic Heart Segmentation | year = 2018 | number = 1806 | abstract = Model Checking is a set of techniques and algor...") |
|||
Line 1: | Line 1: | ||
{{CSIReport |
{{CSIReport |
||
| authors = Alexandre Kirszenberg |
| authors = Alexandre Kirszenberg |
||
+ | | title = go2pins: A model checking toolset for the Go programming language |
||
− | | title = Automatic Heart Segmentation |
||
| year = 2018 |
| year = 2018 |
||
| number = 1806 |
| number = 1806 |
Latest revision as of 19:58, 7 June 2018
- Authors
- Alexandre Kirszenberg
- Type
- techreport
- Year
- 2018
- Number
- 1806
Abstract
Model Checking is a set of techniques and algorithms for verifying that programs respect certain properties. In this report, we present a toolchain for applying existing model checking algorithms to Go programs. Through a set of transformations, we compile a Go program to an equivalent Go program whose state can be iterated upon. This new program exposes a standard interface to plug in to model checking solutions.