Program Analysis for Safe and Secure Software Evolution

Program Analysis for Safe and Secure Software Evolution is a science project.

Event research_grant eu_cordis:819141

Press Enter · cited answer in seconds

Key Facts

Start time: October 1, 2019^[1]
End time: December 31, 2024^[2]
Participant: Imperial College London^[3]
Short name: PASS^[4]
Budget: 1,955,129 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 PASS

Properties

Budget 1,955,129 EUR

End time December 31, 2024

Funding scheme Horizon 2020

Participant Imperial College London

Start time October 1, 2019

External References (3)

Cordis project id 819141

Doi 10.3030/819141

Eu rcn 220101

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). Program Analysis for Safe and Secure Software Evolution. Retrieved October 8, 2026, from https://4ort.xyz/entity/program-analysis-for-safe-and-secure-software-evolution

MLA

“Program Analysis for Safe and Secure Software Evolution.” 4ort.xyz Knowledge Graph, 4ort.xyz, 8 Oct. 2026, https://4ort.xyz/entity/program-analysis-for-safe-and-secure-software-evolution.

BibTeX

@misc{4ortxyz_program-analysis-for-safe-and-secure-software-evolution_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Program Analysis for Safe and Secure Software Evolution}}, year = {2026}, url = {https://4ort.xyz/entity/program-analysis-for-safe-and-secure-software-evolution}, note = {Accessed: 2026-10-08}}

LLM prompt

According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Program Analysis for Safe and Secure Software Evolution — https://4ort.xyz/entity/program-analysis-for-safe-and-secure-software-evolution (retrieved 2026-10-08)

Canonical URL: https://4ort.xyz/entity/program-analysis-for-safe-and-secure-software-evolution · Last refreshed: October 8, 2026