From: roderick.chapman@googlemail.com
Subject: Re: ANN: Tokeneer - Proofs updated to use User Rules
Date: Wed, 29 Apr 2009 00:20:39 -0700 (PDT)
Date: 2009-04-29T00:20:39-07:00 [thread overview]
Message-ID: <1286a815-8cfc-4ed2-97c6-ece7ec7c8923@w35g2000prg.googlegroups.com> (raw)
On Apr 27, 10:59 am, phil thornley <phil.jpthorn...@googlemail.com>
wrote:
> I have now revised many of the proofs to use User Rules, with a
> reduction in unsimplified VCs from 110 to 24.
Nice work Phil. We're planning to release an updated
Tokeneer package later this year following the GPL release
of the SPARK Toolset, so we'll try to include these
if that's OK. What licence are your new rules under?
- Rod, SPARK Team
next reply other threads:[~2009-04-29 7:20 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-04-29 7:20 roderick.chapman [this message]
2009-04-30 11:10 ` ANN: Tokeneer - Proofs updated to use User Rules Phil Thornley
-- strict thread matches above, loose matches on Subject: below --
2009-04-27 9:59 phil thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox