Author:Antti Hyvärinen
KeyphrasesAlgorithm Portfolios, Bounded Model Checking, clause learning, Craig interpolation, Distributed IC3, Distributed SMT, Divide and Conquer, Function Summaries, incremental verification, Lookahead Heuristic, Satisfiability Modulo Theories, SMT solving, software verification, web-based GUI. |