From: Edgardo Hames on 6 Jan 2010 22:34 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/
|
Pages: 1 Prev: openssl error - ubuntu Next: Falluto: A model checker for verifying fault tolerant systems |