Author:Natasha Sharygina

Publications

Keyphrases

acceleration, Algorithm Portfolios, arrays, Bounded Model Checking, clause learning, Craig interpolation, Distributed IC3, Distributed SMT, Divide and Conquer, Function Summaries, incremental verification, Lookahead Heuristic, loop invariants, loop summarization, Loopfrog, model checking, Reachability Modulo Theories, Satisfiability Modulo Theories, SMT, SMT solving, SMT-LIB, software verification, static analysis, web-based GUI.