Difference between revisions of "Publications/martin.19.seminar"
From LRDE
(Created page with "{{CSIReport | authors = Antoine Martin | title = Exploring various implementations for goroutines support in go2pins | year = 2019 | number = 1908 | abstract = go2pins is a to...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
| title = Exploring various implementations for goroutines support in go2pins |
| title = Exploring various implementations for goroutines support in go2pins |
||
| year = 2019 |
| year = 2019 |
||
| − | | number = |
+ | | number = 1910 |
| − | | abstract = go2pins is a tool used to interface Go programs with model checking algorithms. |
+ | | abstract = go2pins is a tool used to interface Go programs with model checking algorithms. Through a series of transformations, a standard Go program is compiled to another behaving the same way, but exposing an interface allowing to iterate over its various states. However, go2pins currently doesn't support programs that use goroutines, Go's concurrency primitives. In this report, we present the various solutions we've assessed to implement this behaviour inside go2pins, and the problems we've had to solve along the way. |
| type = techreport |
| type = techreport |
||
| id = martin.19.seminar |
| id = martin.19.seminar |
||
Latest revision as of 15:45, 30 June 2019
- Authors
- Antoine Martin
- Type
- techreport
- Year
- 2019
- Number
- 1910
Abstract
go2pins is a tool used to interface Go programs with model checking algorithms. Through a series of transformations, a standard Go program is compiled to another behaving the same way, but exposing an interface allowing to iterate over its various states. However, go2pins currently doesn't support programs that use goroutines, Go's concurrency primitives. In this report, we present the various solutions we've assessed to implement this behaviour inside go2pins, and the problems we've had to solve along the way.