Automated Reasoning with Theories and Induction for Software Technology

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan

Data management plan detailing collection/processing/storing project data

Publicaciones

Program Synthesis in Saturation

Autores: Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov
Publicado en: Proceedings of the 29th International Conference on Automated Deduction (CADE), 2023, Página(s) 307-324
Editor: Springer
DOI: 10.1007/978-3-031-38499-8_18

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

Autores: George Kenison; Klara Nosan; Mahsa Shirmohammadi; James Worrell
Publicado en: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC), 2023, Página(s) 407-416
Editor: ACM
DOI: 10.1145/3597066.3597121

CheckMate: Automated Game-Theoretic Security Reasoning

Autores: Lea Salome Brugger; Laura Kovács; Anja Petkovic Komel; Sophie Rain; Michael Rawson
Publicado en: CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, Página(s) 1407–1421
Editor: ACM
DOI: 10.1145/3576915.3623183

Saturating Sorting without Sorts

Autores: Pamina Georgiou, Márton Hajdú, Laura Kovács
Publicado en: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Edición volume 100 of EPiC, 2024, Página(s) 88-105
Editor: EasyChair
DOI: 10.29007/rg9z

Superposition with Delayed Unification

Autores: Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson
Publicado en: Proceedings of the 29th International Conference on Automated Deduction (CADE), 2023
Editor: Springer
DOI: 10.1007/978-3-031-38499-8_2

The RAPID Software Verification Framework

Autores: Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson, Laura Kovacs, Giles Reger
Publicado en: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design (FMCAD), 2022, Página(s) 255-260
Editor: TU Wien Academic Press
DOI: 10.34727/2022/isbn.978-3-85448-053-2_32

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model

Autores: Jeanteur, Simon; Kovács, Laura; Maffei, Matteo; Rawson, Michael
Publicado en: Proceedings of the 2024 IEEE Symposium on Security and Privacy (SP), 2024, ISBN 979-8-3503-3130-1
Editor: IEEE
DOI: 10.48550/arxiv.2305.12173

Synthesis of Recursive Programs in Saturation

Autores: Petra Hozzová, Daneshvar Amrollahi, Márton Hajdú, Laura Kovács, Andrei Voronkov, Eva Maria Wagner
Publicado en: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Edición volume 14739 of LNCS, 2024, Página(s) 154-171
Editor: Springer
DOI: 10.1007/978-3-031-63498-7_10

Rewriting and Inductive Reasoning

Autores: Márton Hajdu, Laura Kovács, Michael Rawson
Publicado en: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Edición volume 100 of EPiC, 2024, Página(s) 278-294
Editor: EasyChair
DOI: 10.29007/vbfp

This Is the Moment for Probabilistic Loops

Autores: Marcel Moosbrugger; Miroslav Stankovic; Laura Kovacs; Ezio Bartocci
Publicado en: Proceedings of the ACM on Programming Languages - OOPSLA, Edición Volume 6, Edición OOPSLA2, Article No.178, 2022, Página(s) 1497-1525
Editor: ACM
DOI: 10.48550/arxiv.2204.07185

Embedding the Connection Calculus in Satisfiability Modulo Theories

Autores: Clemens Eisenhofer, Laura Kovacs and Michael Rawson
Publicado en: Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023), Edición 3613, 2023, Página(s) 54-63
Editor: CEUR
DOI: 10.34726/5394

The Probabilistic Termination Tool Amber

Autores: Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Publicado en: Proceedings of the 24th International Symposium on Formal Methods (FM), Edición Lecture Notes in Computer Science, volume 13047, 2021, Página(s) 667-675
Editor: Springer
DOI: 10.1007/978-3-030-90870-6_36

Positivity Problems for Reversible Linear Recurrence Sequences

Autores: George Kenison, Joris Nieuwveld, Joël Ouaknine, James Worrell
Publicado en: Proceedings of the 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Edición volume 261 of LIPIcs, 2023, Página(s) 130:1-130:17
Editor: LIPIcs
DOI: 10.4230/lipics.icalp.2023.130

From Polynomial Invariants to Linear Loops

Autores: George Kenison; Laura Kovács; Anton Varonka
Publicado en: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC), 2023, Página(s) 398--406
Editor: ACM
DOI: 10.1145/3597066.3597109

Integer Induction in Saturation

Autores: Petra Hozzová, Laura Kovács, Andrei Voronkov
Publicado en: Proceedings of the 28th International Conference on Automated Deduction (CADE), Edición Lecture Notes in Computer Science, volume 12699, 2021, Página(s) 361-377
Editor: Springer
DOI: 10.1007/978-3-030-79876-5_21

Linear Loop Synthesis for Quadratic Invariants

Autores: S. Hitarth, George Kenison, Laura Kovacs, Anton Varonka
Publicado en: Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), Edición Volume 289, 2024, Página(s) 41:1-41:18
Editor: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.4230/lipics.stacs.2024.41

SAT-Based Subsumption Resolution

Autores: Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath
Publicado en: Proceedings of the 29th International Conference on Automated Deduction (CADE), 2023, Página(s) 190-206
Editor: Springer
DOI: 10.1007/978-3-031-38499-8_11

Inductive Benchmarks for Automated Reasoning

Autores: Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
Publicado en: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Edición Lecture Notes in Computer Science, volume 12833, 2021, Página(s) 124-129
Editor: Springer
DOI: 10.1007/978-3-030-81097-9_9

On the Skolem Problem for Reversible Sequences

Autores: George Kenison
Publicado en: Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS), Edición LIPIcs, volume 241, 2022, Página(s) 61:1-61:15
Editor: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2022.61

Reshaping Unplugged Computer Science Workshops for Primary School Education

Autores: Martina Landman, Sophie Rain, Laura Kovács, Gerald Futschek
Publicado en: Proceedings of the 6th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives (ISSEP), 2023, Página(s) 139-151
Editor: Springer
DOI: 10.1007/978-3-031-44900-0_11

Algebra-Based Loop Analysis

Autores: Laura Kovács
Publicado en: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC), 2023, Página(s) 41-42
Editor: ACM
DOI: 10.1145/3597066.3597150

Distribution Estimation for Probabilistic Loops

Autores: Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
Publicado en: Proceedings of the 19th International Conference on Quantitative Evaluation of Systems (QEST), Edición Lecture Notes in Computer Science, volume 13479, 2022, Página(s) 26-42
Editor: Springer
DOI: 10.1007/978-3-031-16336-4_2

Lemmaless Induction in Trace Logic

Autores: Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
Publicado en: Proceedings of the 15th International Conference on Intelligent Computer Mathematics (CICM), Edición Lecture Notes in Computer Science, volume 13467, 2022, Página(s) 191-208
Editor: Springer
DOI: 10.1007/978-3-031-16681-5_14

Induction with Recursive Definitions in Superposition

Autores: Márton Hajdu, Petra Hozzová, Laura Kovács, Andrei Voronkov
Publicado en: Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD), 2021, Página(s) 1-10
Editor: IEEE
DOI: 10.34727/2021/isbn.978-3-85448-046-4_34

Refining Unification with Abstraction

Autores: Ahmed Bhayat; Konstantin Korovin; Laura Kovacs; Johannes Schoisswohl
Publicado en: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Edición Volume 94, 2023, Página(s) 36-47
Editor: EasyChair
DOI: 10.29007/h65j

Non-Classical Logics in Satisfiability Modulo Theories

Autores: Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács
Publicado en: Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2023, Página(s) 24-36
Editor: Springer
DOI: 10.1007/978-3-031-43513-3_2

Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs

Autores: Julian Müllner, Marcel Moosbrugger, Laura Kovács
Publicado en: Proceedings of the ACM on Programming Languages (POPL), Edición Volume 8, 2024, Página(s) 882-910
Editor: ACM
DOI: 10.1145/3632872

Towards a Game-Theoretic Security Analysis of Off-Chain Protocols

Autores: Rain, Sophie; Avarikioti, Georgia; Kovács, Laura; Maffei, Matteo
Publicado en: Proceedings of the 36th IEEE Computer Security Foundations Symposium (CSF), 2023, Página(s) 107-122
Editor: IEEE
DOI: 10.1109/csf57540.2023.00003

Solving Invariant Generation for Unsolvable Loops

Autores: Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Publicado en: Proceedings of the 29th International Symposium on Static Analysis (SAS), Edición Lecture Notes in Computer Science, volume 13790, 2022, Página(s) 19-43
Editor: Springer
DOI: 10.1007/978-3-031-22308-2_3

Summing Up Smart Transitions

Autores: Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács and Mooly Sagiv
Publicado en: Proceedings of the 33rd International Conference on Computer Aided Verification (CAV), Edición Lecture Notes in Computer Science, Volume 12759, 2021, Página(s) 317-340
Editor: Springer
DOI: 10.1007/978-3-030-81685-8_15

Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)

Autores: Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger
Publicado en: Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR), Edición CEUR Workshop Proceedings, volume 3201, 2022
Editor: CEUR-WS.org

Automated Sensitivity Analysis for Probabilistic Loops

Autores: Moosbrugger, Marcel; Müllner, Julian; Kovács, Laura
Publicado en: Proceedings of the 18th International Conference on integrated Formal Methods (iFM), 2023, Página(s) 21-39
Editor: Springer
DOI: 10.1007/978-3-031-47705-8_2

A Formalization of Heisenbugs and Their Causes

Autores: Sarah Sallinger, Georg Weissenbacher, Florian Zuleger
Publicado en: Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM), 2023, Página(s) 282–300
Editor: Springer
DOI: 10.1007/978-3-031-47115-5_16

ALASCA: Reasoning in Quantified Linear Arithmetic

Autores: Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, Andrei Voronkov
Publicado en: Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2023, Página(s) 647-665
Editor: Springer
DOI: 10.1007/978-3-031-30823-9_33

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters

Autores: George Kenison
Publicado en: Proceedings of the 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Edición Volume 297 of LIPIcs, 2024, Página(s) 145:1-145:20
Editor: LIPIcs
DOI: 10.4230/lipics.icalp.2024.145

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification

Autores: Petra Hozzová; Jaroslav Bendík; Alexander Nutz; Yoav Rodeh
Publicado en: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Edición Volume 94, 2023, Página(s) 257--269
Editor: EasyChair
DOI: 10.29007/h4p7

Getting Saturated with Induction

Autores: Márton Hajdu, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov
Publicado en: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, Edición Lecture Notes in Computer Science, volume13660, 2022, Página(s) 306-322
Editor: Springer
DOI: 10.1007/978-3-031-22337-2_15

VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic

Autores: Johannes Schoisswohl, Laura Kovács, Konstantin Korovin
Publicado en: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Edición volume 100 of EPiC, 2024, Página(s) 147-164
Editor: EasyChair
DOI: 10.29007/kg4v

Lazy Reimplication in Chronological Backtracking

Autores: Robin Coutelier, Mathias Fleury, Laura Kovács
Publicado en: Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Edición 305, 2024, Página(s) 9:1-9:19
Editor: Leibniz International Proceedings in Informatics, Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2024.9

The Vampire Approach to Induction (short paper)

Autores: Márton Hajdu, Laura Kovács, Michael Rawson, Andrei Voronkov
Publicado en: Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR), Edición CEUR Workshop Proceedings, volume 3201, 2022
Editor: CEUR-WS.org

Lemmas: Generation, Selection, Application

Autores: Rawson, Michael; Wernhard, Christoph; Zombori, Zsolt; Bibel, Wolfgang
Publicado en: Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2023, Página(s) 153-174
Editor: Springer
DOI: 10.1007/978-3-031-43513-3_9

Induction in Saturation

Autores: Laura Kovács, Petra Hozzová, Márton Hajdú, Andrei Voronkov
Publicado en: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Edición volume 14739 of LNCS, 2023, Página(s) 21-29
Editor: Springer
DOI: 10.1007/978-3-031-63498-7_2

What’s decidable about linear loops?

Autores: Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
Publicado en: Proceedings of the ACM on Programming Languages, Edición volume 6, number POPL, 2022, Página(s) 1-25
Editor: ACM
DOI: 10.1145/3498727

Satisfiability Modulo Custom Theories in Z3

Autores: Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács:
Publicado en: Proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), Edición Lecture Notes in Computer Science, volume 13881, 2023, Página(s) 91-105
Editor: Springer
DOI: 10.1007/978-3-031-24950-1_5

User-Propagators for Custom Theories in SMT Solving

Autores: Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
Publicado en: Proceedings of the 20th International Workshop on Satisfiability Modulo Theories (SMT_, Edición CEUR Workshop Proceedings, volume 3185, 2022, Página(s) 71-79
Editor: CEUR-WS.org

On Positivity and Minimality for Second-Order Holonomic Sequences

Autores: George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
Publicado en: Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), Edición LIPIcs, volume 202, 2021, Página(s) 67:1--67:15
Editor: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2021.67

An SMT Approach for Solving Polynomials over Finite Fields

Autores: Thomas Hader and Laura Kovács
Publicado en: Proceedings of the 20th International Workshop on Satisfiability Modulo Theories (SMT), Edición CEUR Workshop Proceedings, volume 3185, 2022, Página(s) 90-98
Editor: CEUR-WS.org

Automating Induction by Reflection

Autores: Johannes Schoisswohl, Laura Kovács
Publicado en: Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), Edición EPTCS volume 337, 2021, Página(s) 39-54
Editor: EPTCS
DOI: 10.4204/eptcs.337.4

Reducibility Constraints in Superposition

Autores: Márton Hajdú, Laura Kovács, Michael Rawson, Andrei Voronkov
Publicado en: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Edición volume 14739 of LNCS, 2024, Página(s) 115-132
Editor: Springer
DOI: 10.1007/978-3-031-63498-7_8

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments

Autores: Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Publicado en: Proceedings of the 19th International Conference on Quantitative Evaluation of Systems (QEST), Edición Lecture Notes in Computer Science, volume 13479, 2022, Página(s) 3-25
Editor: Springer
DOI: 10.1007/978-3-031-16336-4_1

Automated Generation of Exam Sheets for Automated Deduction

Autores: Petra Hozzová, Laura Kovács, Jakob Rath
Publicado en: Proceedings of the 14th International Conference on Intelligent Computer Mathematics (CICM), Edición Lecture Notes in Computer Science, volume 12833, 2021, Página(s) 185-196
Editor: Springer
DOI: 10.1007/978-3-030-81097-9_15

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)

Autores: Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
Publicado en: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), Edición volume 14739 of LNCS, 2024, Página(s) 386-395
Editor: Springer
DOI: 10.1007/978-3-031-63498-7_23

Deductive Controller Synthesis for Probabilistic Hyperproperties

Autores: Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Publicado en: Proceedings of the 20th International Conference on Quantitative Evaluation of Systems, 2023
Editor: Springer
DOI: 10.1007/978-3-031-43835-6_20

Scaling CheckMate for Game-Theoretic Security

Autores: Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson
Publicado en: Proceedings of 25th Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-25), Edición volume 100 or EPiC, 2024, Página(s) 222-231
Editor: EasyChair
DOI: 10.29007/llnq

SMT Solving over Finite Field Arithmetic

Autores: Hader, Thomas; Kaufmann, Daniela; Kovács, Laura
Publicado en: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Edición Volume 94, 2023, Página(s) 238-256
Editor: EasyChair
DOI: 10.29007/4n6w

Discrete & Computational Geometry / Lonely Points in Simplices

Autores: Kauers, Manuel; Jaroschek, Maximilian; Kovács, Laura
Publicado en: Discrete and Computaational Geometry, Edición Volume 69, Number 1, 2022, Página(s) 4-25, ISSN 0179-5376
Editor: Springer Verlag

(Un)Solvable Loop Analysis

Autores: Amrollahi, Daneshvar; Bartocci, Ezio; Kenison, George; Kovács, Laura; Moosbrugger, Marcel; Stankovič, Miroslav
Publicado en: Formal Methods in System Design - FMSD, 2024, ISSN 1572-8102
Editor: Springer
DOI: 10.1007/s10703-024-00455-0

The probabilistic termination tool amber

Autores: Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura
Publicado en: Formal methods in system design, Edición 61(1), 2023, ISSN 0925-9856
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10703-023-00424-z

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Autores: Kofnov, Andrey; Moosbrugger, Marcel; Stankovič, Miroslav; Bartocci, Ezio; Bura, Efstathia
Publicado en: ACM Transactions on Modeling and Computer Simulation - TOMACS, Edición Volume 34, Edición 3, Article No. 18, 2024, Página(s) 1-25, ISSN 1049-3301
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3641545

Moment-based analysis of Bayesian network properties

Autores: Miroslav Stankovic, Ezio Bartocci, Laura Kovács
Publicado en: J. of Theoretical Computer Science, Edición Volume 903, 2022, Página(s) 113-133, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/j.tcs.2021.12.021

Algebra-Based Reasoning for Loop Synthesis

Autores: Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Publicado en: Formal Aspects of Computing, Edición volume 34, number 1, 2022, Página(s) 1-31, ISSN 0934-5043
Editor: Springer Verlag
DOI: 10.1145/3527458

Lonely Points in Simplices

Autores: Maximilian Jaroschek, Manuel Kauers, Laura Kovács
Publicado en: Discrete and Computational Geometry, Edición volume 69, number 1, 2023, Página(s) 4-25, ISSN 0179-5376
Editor: Springer Verlag
DOI: 10.1007/s00454-022-00428-2

Non-Linear SMT-Reasoning over Finite Fields

Autores: Hader, Thomas
Publicado en: 2022
Editor: TU Wien
DOI: 10.34726/hss.2022.89445

Non-Linear Reasoning in the Superposition Calculus

Autores: Lackner, Andreas
Publicado en: 2022
Editor: TU Wien
DOI: 10.34726/hss.2022.90765

Automating Proofs of Game-Theoretic Security Properties of Off-Chain Protocols

Autores: Brugger, Lea Salome
Publicado en: 2022
Editor: TU Wien
DOI: 10.34726/hss.2022.104340

Towards Automating Induction for Software Verification - Guiding Inductive Reasoning in Superposition-based Theorem Proving

Autores: Pamina Georgiou
Publicado en: 2024
Editor: TU Wien
DOI: 10.34726/hss.2024.123801

Moment-Based Loop Analysis

Autores: Stankovic, Miroslav
Publicado en: 2023
Editor: TU Wien
DOI: 10.34726/hss.2023.113863

Exact Inference for Probabilistic Loops

Autores: Müllner, Julian
Publicado en: 2023
Editor: TU Wien
DOI: 10.34726/hss.2023.107471

User propagators for satisfiability modulo custom theories

Autores: Clemens Eisenhofer
Publicado en: 2022
Editor: TU Wien
DOI: 10.34726/hss.2022.100221

Automated Analysis of Probabilistic Loops

Autores: Marcel Moosbrugger
Publicado en: 2024
Editor: TU Wien
DOI: 10.34726/hss.2024.123240

Buscando datos de OpenAIRE...

Resultado final

Publicaciones

Compartir esta página Compartir esta página en las redes sociales

Descargar Descargar el contenido de la página