HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Antti Hyvärinen

Publications
Lookahead-Based SMT Solving
Antti Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler and Natasha Sharygina
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Function Summarization Modulo Theories
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SMTS: Distributed, Visualized Constraint Solving
Matteo Marescotti, Antti Hyvärinen and Natasha Sharygina
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Algorithm 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.

Copyright © 2012-2025 easychair.org. All rights reserved.