Autor der Publikation

Symbolic Model Construction for Saturated Constrained Horn Clauses.

, , und . FroCoS, Volume 14279 von Lecture Notes in Computer Science, Seite 137-155. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic., , , , , , , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 480-501. Springer, (2022)Exploring Partial Models with SCL., , und . PAAR@IJCAR, Volume 3201 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification., , , , , , , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 416-439. Springer, (2020)First-Order Automatic Literal Model Generation., , , und . IJCAR (1), Volume 14739 von Lecture Notes in Computer Science, Seite 133-153. Springer, (2024)On the Expressivity and Applicability of Model Representation Formalisms., , und . FroCos, Volume 11715 von Lecture Notes in Computer Science, Seite 22-39. Springer, (2019)SPASS-SATT - A CDCL(LA) Solver., , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 111-122. Springer, (2019)Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance., , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 327-343. Springer, (2021)A Verified SAT Solver Framework including Optimization and Partial Valuations., und . LPAR, Volume 73 von EPiC Series in Computing, Seite 212-229. EasyChair, (2020)Automatic Bit- and Memory-Precise Verification of eBPF Code., , und . LPAR, Volume 100 von EPiC Series in Computing, Seite 198-221. EasyChair, (2024)SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment., und . J. Autom. Reason., 64 (3): 611-640 (2020)