Papers matching “SMT solvers” in Formal Methods in Verification 15
Not finding it? Sign in to also search OpenAlex live.
-
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving2021 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification Open access
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport
3citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff
18citations
15 results