Re: What comes after PVS?

[Harald Ruess <ruess@csl.sri.com>]

Pertti: we are currently working on a version of
an open-source license for ICS, and it will definitely
available under such a license by 15 July.

Thanks for your interest in ICS,

--Harald