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

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.