# Falluto: A model checker for verifying fault tolerant systems

**URL:** <https://www.ruby-forum.com/t/falluto-a-model-checker-for-verifying-fault-tolerant-systems/181193>\
**Category:** Ruby\
**Created:** [January 7, 2010, 4:35am UTC](https://www.ruby-forum.com/t/falluto-a-model-checker-for-verifying-fault-tolerant-systems/181193 "2010-01-07T04:35:41Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![Edgardo\_H](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/e/c68b51/32.png) [@Edgardo\_H](https://www.ruby-forum.com/u/Edgardo_H)\
**Post date:** [January 7, 2010, 4:35am UTC](https://www.ruby-forum.com/t/falluto-a-model-checker-for-verifying-fault-tolerant-systems/181193/1 "2010-01-07T04:35:41Z")

</div>

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

I’ll be adding some documentation in the next few days, but there are  
some examples in the github repository:

> **[GitHub - ehames/falluto: A model checker for verifying fault tolerant systems](https://github.com/ehames/falluto)**
>
> A model checker for verifying fault tolerant systems - GitHub - ehames/falluto: A model checker for verifying fault tolerant systems

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/](http://nusmv.irst.itc.it/)

---

<div class="post-metadata">

**Author:** ![Edgardo\_H](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/e/c68b51/32.png) [@Edgardo\_H](https://www.ruby-forum.com/u/Edgardo_H)\
**Post date:** [January 7, 2010, 4:50am UTC](https://www.ruby-forum.com/t/falluto-a-model-checker-for-verifying-fault-tolerant-systems/181193/2 "2010-01-07T04:50:55Z")

</div>

On Jan 7, 4:34 am, Edgardo H. [removed\_email\_address@domain.invalid](mailto:removed_email_address@domain.invalid) 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!