cybercyst/go
1
0
Fork 0
mirror of https://github.com/golang/go.git synced 2025-05-05 23:53:05 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Added "Gobra: Modular Specification and Verification of Go Programs"

Felix Wolf 2021-07-19 20:00:20 +02:00
parent fa30587bfc
commit b787f906ab
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ResearchPapers.md

@ -1,4 +1,10 @@
This page lists academic and industry research papers about Go or using Go as the implementation language. This page lists academic and industry research papers about Go or using Go as the implementation language.
## 2021
- Gobra: Modular Specification and Verification of Go Programs (F. A. Wolf, L. Arquint, M. Clochard, W. Oortwijn, J. C. Pereira, P. Müller)
- [CAV'21](https://doi.org/10.1007/978-3-030-81685-8_17)
- [web-page](https://gobra.ethz.ch)
## 2020 ## 2020
- Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild (J. Lauinger, L. Baumgärtner, A. Wickert, M. Mezini) - Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild (J. Lauinger, L. Baumgärtner, A. Wickert, M. Mezini)