SubsidieMeestersHaalbaarheidsstudie naar de specificatie en automatische verificatie van data contracts
Verum onderzoekt de haalbaarheid van het uitbreiden van Dezyne voor automatische verificatie van datacontracten en abstracte datatypes.
Projectdetails
Inleiding
Verum onderzoekt in dit haalbaarheidsproject de technische haalbaarheid van het uitbreiden van de Dezyne taal, tooling en methodiek ten aanzien van integratie van data transformatie en de invloed van data op de control flow van het programma.
Doel van het Project
Dit wordt bereikt door middel van het formaliseren van data als abstract data types.
Tijdlijn
- Startdatum: 1 september 2022
- Einddatum: 30 april 2023
Financiële details & Tijdlijn
Financiële details
| Subsidiebedrag | € 20.000 |
| Totale projectbegroting | € 50.716 |
Tijdlijn
| Startdatum | 1-9-2022 |
| Einddatum | 30-4-2023 |
| Subsidiejaar | 2022 |
Partners & Locaties
Projectpartners
- Verum Software Tools B.V.penvoerder
Land(en)
Vergelijkbare projecten binnen MIT Haalbaarheid
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Refactoring legacyVerum onderzoekt de haalbaarheid van een methodiek voor legacy migratie en automatisering van formele specificaties. | Mkb-innovati... | € 18.765 | 2021 | Details |
D-CypherD-Cypher onderzoekt de haalbaarheid van een AI-platform voor efficiënte beveiliging en veiligheid op evenementen. | Mkb-innovati... | € 20.000 | 2021 | Details |
Haalbaarheidsstudie It's LanguageHet project onderzoekt de haalbaarheid van een innovatief taalleerplatform voor diverse doelgroepen. | Mkb-innovati... | € 20.000 | 2020 | Details |
Haalbaarheid van het configurabel maken van schemadefinitiesChannel.me onderzoekt de haalbaarheid van een configureerbare schemadefinities voor hun low-code live-chat applicatie, gericht op gebruikers zonder programmeerkennis, om toekomstige investeringen te onderbouwen. | Mkb-innovati... | € 20.000 | 2020 | Details |
Haalbaarheidsonderzoek ontwikkeling generieke OTSDit project onderzoekt de haalbaarheid van een generieke Terminologie Server voor het verbeteren van datakwaliteit in de zorgsector. | Mkb-innovati... | € 20.000 | 2024 | Details |
Refactoring legacy
Verum onderzoekt de haalbaarheid van een methodiek voor legacy migratie en automatisering van formele specificaties.
D-Cypher
D-Cypher onderzoekt de haalbaarheid van een AI-platform voor efficiënte beveiliging en veiligheid op evenementen.
Haalbaarheidsstudie It's Language
Het project onderzoekt de haalbaarheid van een innovatief taalleerplatform voor diverse doelgroepen.
Haalbaarheid van het configurabel maken van schemadefinities
Channel.me onderzoekt de haalbaarheid van een configureerbare schemadefinities voor hun low-code live-chat applicatie, gericht op gebruikers zonder programmeerkennis, om toekomstige investeringen te onderbouwen.
Haalbaarheidsonderzoek ontwikkeling generieke OTS
Dit project onderzoekt de haalbaarheid van een generieke Terminologie Server voor het verbeteren van datakwaliteit in de zorgsector.
Vergelijkbare projecten uit andere regelingen
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Integrated Safety for Deeply Embedded Systems Software (ISAFE)Het ISAFE-project ontwikkelt een geïntegreerde aanpak voor de kwalificatie van softwaretools in veiligheid kritische systemen, gericht op het voldoen aan veiligheidsstandaarden en het verbeteren van softwareontwikkeling. | Mkb-innovati... | € 160.200 | 2016 | Details |
Logic and Automata over Sequences with DataThe project aims to overcome undecidability in automata theory over infinite alphabets by developing new decidable models and algorithms for analyzing data languages, with applications in graph databases, program verification, and machine learning. | ERC Consolid... | € 1.998.956 | 2023 | Details |
A Deductive Verifier for Probabilistic ProgramsThe project aims to commercialize a novel deductive verifier for probabilistic programs by integrating invariant synthesis and program slicing, targeting users and conducting market analysis. | ERC Proof of... | € 150.000 | 2024 | Details |
Data-Driven Verification and Learning Under UncertaintyThe DEUCE project aims to enhance reinforcement learning by developing novel verification methods that ensure safety and correctness in complex, uncertain environments through data-driven abstractions. | ERC Starting... | € 1.500.000 | 2023 | Details |
Formal Methods for Secure Blockchain-Oriented ProgrammingBlockSec aims to establish a comprehensive framework for enforcing game-theoretic security in DeFi applications through formal methods and interdisciplinary research. | ERC Advanced... | € 2.499.983 | 2025 | Details |
Integrated Safety for Deeply Embedded Systems Software (ISAFE)
Het ISAFE-project ontwikkelt een geïntegreerde aanpak voor de kwalificatie van softwaretools in veiligheid kritische systemen, gericht op het voldoen aan veiligheidsstandaarden en het verbeteren van softwareontwikkeling.
Logic and Automata over Sequences with Data
The project aims to overcome undecidability in automata theory over infinite alphabets by developing new decidable models and algorithms for analyzing data languages, with applications in graph databases, program verification, and machine learning.
A Deductive Verifier for Probabilistic Programs
The project aims to commercialize a novel deductive verifier for probabilistic programs by integrating invariant synthesis and program slicing, targeting users and conducting market analysis.
Data-Driven Verification and Learning Under Uncertainty
The DEUCE project aims to enhance reinforcement learning by developing novel verification methods that ensure safety and correctness in complex, uncertain environments through data-driven abstractions.
Formal Methods for Secure Blockchain-Oriented Programming
BlockSec aims to establish a comprehensive framework for enforcing game-theoretic security in DeFi applications through formal methods and interdisciplinary research.