Information For Authors
Popular articles
Vol 31, No 3 (2019)
Vol 28, No 1 (2016)
Vol 30, No 5 (2018)
Vol 30, No 4 (2018)
Vol 30, No 5 (2018)
Vol 31, No 1 (2019)
Keywords
LLVM
OpenFOAM
Petri nets
binary code
cloud computing
dynamic analysis
formal verification
fuzzing
information security
machine learning
mathematical modeling
model checking
natural language processing
neural networks
numerical simulation
operating system
static analysis
static verification
symbolic execution
testing
verification
109004, Alexander Solzhenitsyn st., 25., Moscow, Russian Federation
Institute for System Programming of the RAS
tel.: +7(495) 912-44-25,
e-mail: proceedings@ispras.ru
