Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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