Open AccessBuilding Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
Author(s) -
Evgeny Novikov
Publication year - 2013
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2013-24-13
Subject(s) - computer science , linux kernel , programming language , kernel (algebra) , component (thermodynamics) , interface (matter) , static analysis , operating system , mathematics , bubble , maximum bubble pressure method , physics , combinatorics , thermodynamics