Other Open Access

Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"

Oh, Jeho; Yıldıran, Necip Fazıl; Braha, Julian; Gazzillo, Paul

Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language"

Files (503.1 kB)
Name Size
kclause_supplemental.pdf
md5:793217b363b96d9ce35ccf7adc4b243f
503.1 kB Download
33
30
views
downloads
All versions This version
Views 3333
Downloads 3030
Data volume 15.1 MB15.1 MB
Unique views 3232
Unique downloads 2929

Share

Cite as