[ANN] Falluto: A model checker for verifying fault tolerant systems

E

Edgardo Hames

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:

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/
 
Ð

ВаÑиÌлий ГригоÌрьевич ЗаÌйце

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/
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

No members online now.

Forum statistics

Threads
473,744
Messages
2,569,483
Members
44,903
Latest member
orderPeak8CBDGummies

Latest Threads

Top