TV - a trace verifier

alpha
Add a Review
1 Download (This Week)
Last Update:
Download tv-src-1.0.tar.gz
Browse All Files
Windows BSD Mac Solaris Linux

Description

TV is a tool that helps to automate the testing of reactive, concurrent systems.

TV - a trace verifier Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of TV - a trace verifier!

Additional Project Details

Languages

English

Intended Audience

Developers, Science/Research

Registered

2004-01-09
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.