Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
paradise
DIVINE
Issues
#13
Verification of NSCD (glibc's name serice cache daemon)
tied into glibc code (cf.
#28
)
partially verified, cf. the master thesis of Milan Lenčo
https://is.muni.cz/auth/th/359883/fi_m/
sockets, dynamic memory, interaction with clients