---
layout: fc_discuss_archives
title: Message 68 from Frama-C-discuss on September 2013
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Proving a simple property on bitshift with WP
- Subject: [Frama-c-discuss] Proving a simple property on bitshift with WP
- From: dmentre at linux-france.org (David MENTRE)
- Date: Wed, 11 Sep 2013 10:19:29 +0200
- In-reply-to: <5823F3E1-7F2C-4633-B764-7060830A786F@cea.fr>
- References: <CAC3Lx=YN+ofoawh_vint2WumaAd6=akQaLccmrg8BV6wBOphmA@mail.gmail.com> <CA+yPOVj2PgA5gtp-OhSgeNumhmvOmmtM78KNBcVTtBXdzJeAZg@mail.gmail.com> <CAC3Lx=b2ngvaheSxzLr=5ZZi_R1T4fym7uYOW1yV3ARg0QRY-w@mail.gmail.com> <1A32855E5FA08141A8C56E7CF24D442C0EFD8A23@SCTEX101.st-cloud.dassault-avion.fr> <CAC3Lx=YhKt+5FGwwG1cmuFZxQm67QNeRPXmxtnYDqHmTpR189g@mail.gmail.com> <835769EB-9F81-4D66-B430-6C2AF8C6BF46@cea.fr> <CAC3Lx=a6YhDN3o2GY8BXZC0T5YkP0TOf3ksUNL+oVNO5x-0-5g@mail.gmail.com> <5823F3E1-7F2C-4633-B764-7060830A786F@cea.fr>
Hello Lo?c,
2013/9/11 Lo?c Correnson <loic.correnson at cea.fr>:
> But if you are interested in it, we may think about a more tied cooperation on these topics.
For now, they are just few experiments to test Frama-C capabilities.
As there are a lot of C code around, it is tempting to do funny things
with Frama-C. :-) No "real" work, sorry. But that might change in the
future.
Best regards,
david