Type and Proof Structures for Concurrent Software Verification

Type and Proof Structures for Concurrent Software Verification is a science project.

Event research_grant eu_cordis:724464

Press Enter · cited answer in seconds

Key Facts

Start time: April 1, 2017^[1]
End time: March 31, 2023^[2]
Participant: eu_cordis_org:998520426^[3]
Short name: Mathador^[4]
Budget: 1,999,895 euro^[5]
Funding scheme: Horizon 2020^[6]

📜 Data licence

© European Union, 1995-2026, CORDIS (cordis.europa.eu). Reused under Commission Decision 2011/833/EU (CC BY 4.0). Changes: selected fields restated as statements. Creative Commons Attribution 4.0 International (Commission Decision 2011/833/EU) · CORDIS — EU research results

⭐ Popularity Graph

0/100 long tail

Quick Facts

Instance of science project

Short name Mathador

Properties

Budget 1,999,895 EUR

End time March 31, 2023

Funding scheme Horizon 2020

Participant FUNDACION IMDEA SOFTWARE

Start time April 1, 2017

External References (3)

Cordis project id 724464

Doi 10.3030/724464

Eu rcn 207887

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA

4ort.xyz Knowledge Graph. (2026). Type and Proof Structures for Concurrent Software Verification. Retrieved October 8, 2026, from https://4ort.xyz/entity/type-and-proof-structures-for-concurrent-software-verification

MLA

“Type and Proof Structures for Concurrent Software Verification.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/type-and-proof-structures-for-concurrent-software-verification.

BibTeX

@misc{4ortxyz_type-and-proof-structures-for-concurrent-software-verification_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Type and Proof Structures for Concurrent Software Verification}}, year = {2026}, url = {https://4ort.xyz/entity/type-and-proof-structures-for-concurrent-software-verification}, note = {Accessed: 2026-10-08}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Type and Proof Structures for Concurrent Software Verification — https://4ort.xyz/entity/type-and-proof-structures-for-concurrent-software-verification (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/type-and-proof-structures-for-concurrent-software-verification · Last refreshed: October 8, 2026