Open AccessVerification and analysis of variable operating systems
Author(s) -
Victor V. Kuliamin,
Екатерина Михайловна Лаврищева,
Vadim Mutilin,
Anastasiia Petrenko
Publication year - 2016
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-2016-28(3)-12
Subject(s) - computer science , abstraction , variation (astronomy) , domain (mathematical analysis) , variable (mathematics) , sampling (signal processing) , source code , code (set theory) , feature (linguistics) , static analysis , scalability , program analysis , counterexample , interface (matter) , data mining , theoretical computer science , programming language , mathematics , parallel computing , mathematical analysis , philosophy , linguistics , physics , set (abstract data type) , epistemology , filter (signal processing) , discrete mathematics , maximum bubble pressure method , bubble , astrophysics , computer vision , database