When will PVS be available for other platforms?
From SRI PVS
Revision as of 18:27, 28 November 2006; Rushby (Talk | contribs)
(diff) ←Older revision | Current revision | Newer revision→ (diff)
(diff) ←Older revision | Current revision | Newer revision→ (diff)
Owre: PVS 4.0 is available for Linux, Sun, and MacOSX machines. The one obviously missing is windows. I don't use windows much, so I have no direct interest in this port. Hopefully someone else will work on it.
