![]() |
Telelogic TAU (steve huntington) | ![]() |
Topic Title: Exhaustive verification in TauG2? Topic Summary: Created On: 13-Oct-2004 20:37 Status: Read Only
|
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() Answer: I do not believe so but you should check with the Telelogic staff. | |
![]() |
|
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 |
|
![]() |
|
![]() |
|
I do not believe so but you should check with the Telelogic staff.
|
|
![]() |
Telelogic TAU
» UML Suite
»
Exhaustive verification in TauG2?
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.