HelenOS sources
root
/
uspace
/
app
/verify/
[..]
doc/
verify.c
[..]
HelenOS homepage
,
sources at GitHub