search

goblint / GobWeb

Website for the Static Analyzer Goblint
https://goblint.in.tum.de
3 stars 0 forks source link

Change description of SVCOMP Paper #15

Closed michael-schwarz closed 3 years ago

michael-schwarz commented 3 years ago

Explains the verification approach used in Goblint, its architecture, strengths and weaknesses.

Makes it sound like it is some comprehensive paper that might be interesting to read for someone getting started, but that is not really the case. Maybe replace with

Reports on Goblint's participation in SV-Comp

michael-schwarz commented 3 years ago

Also the link is very weird: Please link to https://link.springer.com/chapter/10.1007%2F978-3-030-72013-1_28