Symbolic Computation and Automated Reasoning for Program Analysis

View Statistics Email Alert RSS Feed

Project Acronym Projekt Kurzbezeichnung

Symcar

Project Title (de) Projekttitel (de)

Project Title (en) Projekttitel (en)

Symbolic Computation and Automated Reasoning for Program Analysis

Consortium Coordinator Koordinator des Konsortiums

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Principal Investigator Projektleiter_in

Kovacs, Laura

Funder/Funding Agency Fördergeber

European Commission

Grant number Förderkennnummer

639270

OA Mandate OA Mandat

Currency Währung

EUR

Results 1-6 of 6 (Search time: 0.003 seconds).

	Authors / Editors	Title	Type	Issue Date
1	Damestani, David ; Kovacs, Laura ; Suda, Martin ; Hong, Hoon ; Negru, Viorel ; Petcu, Dana ; Zaharie, Daniela	Superposition Reasoning about Quantified Bitvector Formulas	Inproceedings Konferenzbeitrag	15-Apr-2020
2	Kovasznai, Gergely ; Gajdár, Krisztián ; Kovacs, Laura ; Hong, Hoon ; Negru, Viorel ; Petcu, Dana ; Zaharie, Daniela	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization	Inproceedings Konferenzbeitrag	15-Apr-2020
3	Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei	Integer Induction in Saturation	Inproceedings Konferenzbeitrag	29-Jul-2021
4	Hajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei	Inductive Benchmarks for Automated Reasoning	Inproceedings Konferenzbeitrag	12-Aug-2021
5	Hajdú, Márton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei	Induction with Generalization in Superposition Reasoning	Inproceedings Konferenzbeitrag	26-Jul-2020
6	Hozzova, Petra ; Kovacs, Laura ; Rath, Jakob	Automated Generation of Exam Sheets for Automated Deduction	Inproceedings Konferenzbeitrag	12-Aug-2021