Web Directory
 

Sparkle

  Link Details for: Sparkle
Link Title: Sparkle Open in a new window
Link URL: http://www.cs.ru.nl/Sparkle/
Link Details: Clean theorem prover, can help prove partial correctness of programs, or useful traits of parts of programs; proof process uses hint mechanism, suggests proof actions to user; windowing user interface shows content graphically in windows that can be resiz
Category: Top : Computers : Programming : Languages : Clean
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Sparkle