Web Directory
 

SPIKE

  Link Details for: SPIKE
Link Title: SPIKE Open in a new window
Link URL: http://www.loria.fr/equipes/cassis/softwares/spike/
Link Details: Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads.
Category: Top : Computers : Programming : Languages : ML : Caml
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:
SPIKE