Real-Time Systems

TGV-CADP

The main operations of TGV are : (1) a synchronous product which identifies sequences of the specification accepted by a test purpose; (2) abstraction and determinization for the computation of next visible actions; (3) selection of test cases by reachability and coreachability. TGV has been developed in collaboration with Verimag Grenoble and uses libraries of the CADP toolbox.