From: "Васи́лий Григо́рьевич За́йцев" <jherrera14@...>
Date: 2010-01-07T12:50:04+09:00
Subject: Re: Falluto: A model checker for verifying fault tolerant systems

On Jan 7, 4:34�am, Edgardo Hames <eha...@gmail.com> wrote:
> Hi guys,
>
> I'm very excited to announce the availability of Falluto: a model
> checker for verifying fault tolerant systems. Falluto �extends the
> NuSMV[0] language to add fault declarations and uses NuSMV as its
> model checking engine. Falluto is available as a gem in gemcutter, so
> you may install it running:
>
> $ gem install falluto
>
Cool, negro!

> I'll be adding some documentation in the next few days, but there are
> some examples in the github repository:
>
> http://github.com/ehames/falluto
>
> I would like to thank the Treetop guys who have developed a great tool
> for parsing. Even though the audience for Falluto may not be very big
> on the list, I'm looking forward to getting feedback from the code and
> suggestions to improve it.
>
> Cheers!
> Edgardo
>
> [0]http://nusmv.irst.itc.it/