Verification and Analysis for Safety and Security of Applications in Life

Información del proyecto

VASSAL

Identificador del acuerdo de subvención: 101160022

DOI

10.3030/101160022

Fecha de la firma de la CE 10 Mayo 2024

Fecha de inicio 1 Junio 2024

Fecha de finalización 31 Mayo 2027

Financiado con arreglo a

• Widening participation and spreading excellence

Coste total

Sin datos

Aportación de la UE

€ 1 499 875,00

Coordinado por

VYSOKE UCENI TECHNICKE V BRNE
Czechia

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 .

Publicaciones

Conference proceedings (6)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

Autores: Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Publicado en: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91121-7_10

Small Decision Trees for MDPs with Deductive Synthesis

Autores: Roman Andriushchenko, Milan Češka, Sebastian Junges, Filip Macák
Publicado en: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-98679-6_8

RacerF: Data Race Detection with Frama-C (Competition Contribution)

Autores: Tomáš Dacík, Tomáš Vojnar
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90660-2_20

Regular Grammars for Sets of Graphs of Tree-Width 2

Autores: Marius Bozga, Radu Iosif, Florian Zuleger
Publicado en: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Editor: IEEE
DOI: 10.48550/ARXIV.2408.01226

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

Autores: Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Publicado en: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Editor: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/IJCAI.2025/947

Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation

Autores: David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Publicado en: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Editor: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90653-4_2

Peer reviewed articles (1)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators

Autores: Beatrice Melani, Ezio Bartocci, Michele Chiari
Publicado en: ACM Transactions on Embedded Computing Systems, Edición 24, 2025, ISSN 1539-9087
Editor: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917