Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
ML
:
Caml
:
SPIKE
Link Details for:
SPIKE
Link Title:
SPIKE
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:
ScreenShot: