---
layout: default
title: Acknowledgements - Frama-C
---
<body class="page-template page-template-page-authors page-template-page-authors-php page page-id-231 nonTouch">
<div id="wrapper" class="hfeed">
{% include blog-headers-standalone.html %}
<div id="container" class="mainContainer">
<div class="defaultPage authorsPage" id="content" role="main">
<article id="post-231" class="post-231 page type-page status-publish hentry">
<h1 class="entry-title">Acknowledgements</h1>
<section class="articleContent">
<div class="authorPageContent pageWrapper">
<div class="contentInfoBox">
<ul>
<li>U3CAT - <a href="https://frama-c.com/u3cat">https://frama-c.com/u3cat</a></li>
<li>STANCE - <a href="https://cordis.europa.eu/project/id/317753">https://cordis.europa.eu/project/id/317753</a> - FP7-ICT - Grant agreement 317753</li>
<li>VESSEDIA - <a href="https://cordis.europa.eu/project/id/731453">https://cordis.europa.eu/project/id/731453</a> - H2020 - Grant agreement 731453</li>
<li>DECODER - <a href="https://cordis.europa.eu/project/id/824231">https://cordis.europa.eu/project/id/824231</a> - H2020 - Grant agreement 824231</li>
<li>SPARTA - <a href="https://cordis.europa.eu/project/id/830892">https://cordis.europa.eu/project/id/830892</a> - H2020 - Grant agreement 830892</li>
</ul></div>
</div>
</section>
</article>
</div>
{% include blog-footer-standalone.html %}
<div class="clear"></div>
</div>
</div>