---
layout: fc_discuss_archives
title: Message 20 from Frama-C-discuss on December 2011
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
- Subject: [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Wed, 07 Dec 2011 14:50:01 +0100
- In-reply-to: <CAC3Lx=ZOmx7g-iW_+w-D_Ga_T0M_Bz7Q1XA11t4DWdSJtJvyqA@mail.gmail.com>
- References: <CAC3Lx=aPPQOx6_pVXvyvy2qwCmzTPK8iJpk8rqR05R=Dr7AVbA@mail.gmail.com> <1323258029.2391.13.camel@iti27.informatik.htw-dresden.de> <CAC3Lx=ZOmx7g-iW_+w-D_Ga_T0M_Bz7Q1XA11t4DWdSJtJvyqA@mail.gmail.com>
On Wed, 2011-12-07 at 13:43 +0100, David MENTRE wrote:
> > As far as I know, different concepts for invariants are being investigated.
>
> Which kind of concepts?
In particular, ownership-based invariants as used in Spec# have been
considered.
--
Best regards,
Boris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111207/567ef755/attachment.htm>