Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Bedwyr

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
Version:1.0
Development status:Stable
Kind: Applications written in Caml :: Scientific software
License: Open Source :: GPL
Topic: Science :: Maths and Logic
Homepage:http://slimmer.gforge.inria.fr/bedwyr/