Verifying and Synthesizing Software Compositions

Verifying and Synthesizing Software Compositions is a science project.

Event research_grant eu_cordis:321174

Press Enter · cited answer in seconds

Key Facts

Start time: April 1, 2013^[1]
End time: March 31, 2018^[2]
Participant: eu_cordis_org:999901609^[3], University of Freiburg^[4]
Short name: VSSC^[5]
Budget: 1,577,200 euro^[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 VSSC

Properties

Budget 1,577,200 EUR

End time March 31, 2018

Participant TEL AVIV UNIVERSITY, University of Freiburg

Start time April 1, 2013

External References (2)

Cordis project id 321174

Eu rcn 107220

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). Verifying and Synthesizing Software Compositions. Retrieved October 8, 2026, from https://4ort.xyz/entity/verifying-and-synthesizing-software-compositions

MLA

“Verifying and Synthesizing Software Compositions.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/verifying-and-synthesizing-software-compositions.

BibTeX

@misc{4ortxyz_verifying-and-synthesizing-software-compositions_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Verifying and Synthesizing Software Compositions}}, year = {2026}, url = {https://4ort.xyz/entity/verifying-and-synthesizing-software-compositions}, note = {Accessed: 2026-10-08}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Verifying and Synthesizing Software Compositions — https://4ort.xyz/entity/verifying-and-synthesizing-software-compositions (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/verifying-and-synthesizing-software-compositions · Last refreshed: October 8, 2026