Fuzzy Logic Jump Start (Popularity: )
http://www.fuzzy-logic.com/ Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on ...
TemporalRover (Popularity: )
http://www.time-rover.com/ Provides automatic verification of protocols and reactive systems through temporal logic specifications.