For citations:
Mutilin V., Mandrykin M. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2012;22. (In Russ.)
Fullscreen
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)
Article Tools
Email this article (Login required)
Email the author (Login required)
Email this article (Login required)
Email the author (Login required)
About the Authors
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
