Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic TAU (steve huntington)
Decrease font size
Increase font size
Topic Title: Exhaustive verification in TauG2?
Topic Summary:
Created On: 13-Oct-2004 20:37
Status: Read Only
Rate this topic Rate this topic
Terrible Terrible
Poor Poor
Fair Fair
Good Good
Very Good Very Good
Excellent Excellent
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
Answer This question was answered by Patrick Geremia, on Friday, March 11, 2005 4:46 PM

Answer:
I do not believe so but you should check with the Telelogic staff.
 13-Oct-2004 20:37
User is offline View Users Profile Print this message


Boroday Sergiy

Posts: 1
Joined: 13-Oct-2004

Hello, we are considering use of Tau G2 for verification purposes, Tau G2 provides a Model Verification mode, which looks more like simulation. Could anyone tell, does Tau G2 support 1) exhastive verification 2) property specification (like Object Geode or First Generation Tau)? Thank you, Serge Boroday

Edited: 14-Oct-2004 at 17:44 by Boroday Sergiy
Report this to a Moderator Report this to a Moderator
 25-Oct-2004 11:31
User is offline View Users Profile Print this message


Patrick Geremia

Posts: 6
Joined: 1-Jul-2003

Answer Answer
I do not believe so but you should check with the Telelogic staff.
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic TAU forum.
There are currently 1 users logged in.
The most users ever online was 15 on 31-Mar-2008 at 16:22.
There are currently 0 guests browsing this forum, which makes a total of 1 users using this forum.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.