TIOA Simulator
Simulate & Test Complex Distributed Systems
The
TIOA Simulator can
test a distributed system specified in the TIOA
Language. With TIOA, one can specify, test and
verfiy complex distributed systems with
guarantees of correctness, performance, fault-tolerance and
availability.