English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

The Caml Hump: Bedwyr


Bedwyr is an extended logic programming language that allows model-checking directly on syntactic expressions possibly containing bindings. We believe that it's an interesting tool for computer scientists, as it allows simple reasoning on declarative specifications, with several good examples, notably bisimulation checking for the pi-calculus. Other examples include type systems, games, logics, etc.
Homepage ]
Author:Andrew Gacek, Alwen Tiu, Gopalan Nadathur, Dale Miller, and David Baelde.
Last modification date:06-Nov-2006
Development status:Stable
Kind: Applications written in Caml :: Scientific software
License: Open Source :: GPL
Topic: Science :: Maths and Logic