verker icon indicating copy to clipboard operation
verker copied to clipboard

Published 20 hours ago • verified publisher icon evdenis
→

Metadata

Linux kernel library functions formally verified.

Results 6 verker issues
Sort by recently updated
recently updated
newest added

Strncat

pavel-ivanov-rnd avatar pavel-ivanov-rnd

Strnstr

pavel-ivanov-rnd avatar pavel-ivanov-rnd

strlcat.c: added specifications

pavel-ivanov-rnd avatar pavel-ivanov-rnd

lemma functions for match_string

SetSplin avatar SetSplin

Sysfs streq

added lemma functions for sysfs_streq

SetSplin avatar SetSplin

Update E-ACSL scripts

evdenis avatar evdenis

← Metadata

48
Stars
7
Forks
Watchers

Owner

verified publisher icon evdenis

Metadata

Linux kernel library functions formally verified.

Back