Home My Page Projects Slimmer
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files


Choose a News item and you can browse, search, and post messages.

Bedwyr 1.2

David Baelde - 2010-04-18 19:23 - Slimmer

After a long time, we've release a new version of Bedwyr. We have fixed a couple bugs, but there are also some improvements inherited from Tac regarding term printing (indentation, better variable naming), and new examples.

0 Comment Read More/Comment

Tac at IJCAR 2010 & new release

David Baelde - 2010-04-18 19:21 - Slimmer

A paper on "Focused Inductive Theorem Proving", describing the use of focusing in the design of Tac, has been accepted at IJCAR'10. Also, with that paper came new examples and a new release of tac.

0 Comment Read More/Comment

Bedwyr Version 1.1 released

Dale Miller - 2007-02-19 10:34 - Slimmer

Some bug fixes are incorporated.

0 Comment Read More/Comment

New Example: mute.def

Dale Miller - 2007-02-02 07:43 - Slimmer

The pi-calculus has been used by Tom Chothia to model an early version of the Mute anonymous file sharing system and to find an attack on the underlying protocol. The mute.def example uses Bedwyr to discover that attack.

0 Comment Read More/Comment

Bedwyr 1.0 release

Dale Miller - 2006-11-01 19:38 - Slimmer

The first major release of Bedwyr is available. Included are the Ocaml sources, a userguide, and several example specifications.

0 Comment Read More/Comment