| |
 |
Details: |
 |
|
|
Provides automatic verification of protocols and reactive systems through temporal logic specifications.
|
| URL: |
http://www.time-rover.com/
|
| Title: |
Time-Rover Software |
| Image: |
 |
| Description: |
Science, Math, Logic and Foundations, Nonstandard Logics and Extensions - TemporalRover. Provides automatic verification of protocols and reactive systems through temporal logic specifications. |
| Similar: |
|
|
|
Related Sites |
|
Fuzzy Logic Jump Start (Popularity:  ): Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on ...
The Logic of More (Popularity: ): Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.
Chu Spaces (Popularity: ): Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
The Coq proof assistant (Popularity: ): Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts ...
|
|
Popular Sites |
|
Chu Spaces (Popularity: ): Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
The Logic of More (Popularity: ): Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.
Fuzzy Logic Jump Start (Popularity: ): Shows some examples of how this system would work. Includes instruction on method, perception, and sets. Also, gives details on ...
TemporalRover (Popularity: ): Provides automatic verification of protocols and reactive systems through temporal logic specifications.
|
|
|
