--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL by Example (for Nitrogen)



On 01/16/2012 10:37 AM, Pascal Cuoq wrote:

>      It would be
>     useful for potential industrial users to say a few words on the licensing
>     conditions for these external provers. (In case you don't know it yet, Z3 is now
>     available at around 15,000$ for industrial use.)
> 
> Do you have a reliable source for that information? For instance, do you know
> where one can read the license and terms one gets for $15000?
> I am not directly interested, but still curious about that...
> (http://blog.frama-c.com/index.php?post/2011/12/23/Z3-in-Microsoft-Store )

Hello Pascal,

The license of Z3 is not available publicly. I know of someone who asked
directly the developers of Z3 and got a copy. Maybe you can do the same?
-- 
Yannick