http://vecolib.imag.fr/index.php?title=Related_Projects&feed=atom&action=history
Related Projects - Revision history
2024-03-28T14:25:52Z
Revision history for this page on the wiki
MediaWiki 1.24.0
http://vecolib.imag.fr/index.php?title=Related_Projects&diff=10267&oldid=prev
Sighireanu at 10:44, 27 March 2015
2015-03-27T10:44:38Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 10:44, 27 March 2015</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [http://www.fokus.fraunhofer.de/download/acsl_by_example ACSL by Example] initiative for providing formal specification of C algorithms and containers.</ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/proofinuse ProofInUse] project is a joint laboratory between AdaCore and INRIA.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/proofinuse ProofInUse] project is a joint laboratory between AdaCore and INRIA.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://people.cs.kuleuven.be/~bart.jacobs/verifast/ Verifast] a a verifier for single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://people.cs.kuleuven.be/~bart.jacobs/verifast/ Verifast] a a verifier for single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic.</div></td></tr>
</table>
Sighireanu
http://vecolib.imag.fr/index.php?title=Related_Projects&diff=10254&oldid=prev
Sighireanu at 10:25, 27 March 2015
2015-03-27T10:25:47Z
<p></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 10:25, 27 March 2015</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/proofinuse ProofInUse] laboratory.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/proofinuse ProofInUse] <ins class="diffchange diffchange-inline">project is a joint </ins>laboratory <ins class="diffchange diffchange-inline">between AdaCore and INRIA</ins>.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs.</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://people.cs.kuleuven.be/~bart.jacobs/verifast/ Verifast] a a verifier for single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic.</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* [http://people.cs.kuleuven.be/~bart.jacobs/verifast/ Verifast] a a verifier for single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic.</div></td></tr>
</table>
Sighireanu
http://vecolib.imag.fr/index.php?title=Related_Projects&diff=10253&oldid=prev
Sighireanu: Created page with "* [http://www.spark-2014.org/proofinuse ProofInUse] laboratory. * [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs. * [http://people.cs.kuleuven.b..."
2015-03-27T10:25:11Z
<p>Created page with "* [http://www.spark-2014.org/proofinuse ProofInUse] laboratory. * [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs. * [http://people.cs.kuleuven.b..."</p>
<p><b>New page</b></p><div>* [http://www.spark-2014.org/proofinuse ProofInUse] laboratory.<br />
* [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs.<br />
* [http://people.cs.kuleuven.be/~bart.jacobs/verifast/ Verifast] a a verifier for single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic.</div>
Sighireanu