Verification and Analysis for Safety and Security of Applications in Life

Project Information

VASSAL

Grant agreement ID: 101160022

DOI

10.3030/101160022

EC signature date 10 May 2024

Start date 1 June 2024

End date 31 May 2027

Funded under

• Widening participation and spreading excellence

Total cost

No data

EU contribution

€ 1 499 875,00

Coordinated by

VYSOKE UCENI TECHNICKE V BRNE
Czechia

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Documents, reports (3)

Quality Assurance and Risk management plan

The project’s quality management principles in a comprehensive manner to help partner beneficiaries carry out their activities with a high standard of quality. and describes the management procedures with details of risk management.

First version of the Dissemination and Exploitation (D&E) Plan, including Communication Activities

Creating a first version of the Dissemination, Exploitation (D&E) Plan, including Communication Activities.

Integration and Networking plan

To develop and execute integration and networking strategy to elevate the position in networks and to establish, maintain and develop long-term beneficial interactions and relations with stakeholders/ecosystem.

Data Management Plan (1)

First version of the Data Management Plan (DMP)

Plan for the data management describing the data management methods, how the data will be generated, processed, collected, stored and documented.

Publications

Conference proceedings (6)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

Author(s): Florian Sextl, Adam Rogalewicz, Tomáš Vojnar, Florian Zuleger
Published in: Lecture Notes in Computer Science, Programming Languages and Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-91121-7_10

Small Decision Trees for MDPs with Deductive Synthesis

Author(s): Roman Andriushchenko, Milan Češka, Sebastian Junges, Filip Macák
Published in: Lecture Notes in Computer Science, Computer Aided Verification, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-98679-6_8

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

Author(s): Tomáš Dacík, Tomáš Vojnar
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-90660-2_20

Regular Grammars for Sets of Graphs of Tree-Width 2

Author(s): Marius Bozga, Radu Iosif, Florian Zuleger
Published in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Publisher: IEEE
DOI: 10.48550/ARXIV.2408.01226

Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

Author(s): Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
Published in: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025
Publisher: 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

Author(s): David Chocholatý, Vojtěch Havlena, Lukáš Holík, Jan Hranička, Ondřej Lengál, Juraj Síč
Published in: Lecture Notes in Computer Science, Tools and Algorithms for the Construction and Analysis of Systems, 2025
Publisher: 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

Author(s): Beatrice Melani, Ezio Bartocci, Michele Chiari
Published in: ACM Transactions on Embedded Computing Systems, Issue 24, 2025, ISSN 1539-9087
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3759917