When will PVS be available for other platforms?

From SRI PVS

Jump to: navigation, search

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.

Retrieved from "http://pvs-wiki.csl.sri.com/index.php/When_will_PVS_be_available_for_other_platforms%3F"
Personal tools