Learn More
An expreimental CAD environment for distributed systems, and in particular for the telecommunications arena, integrating tools for simulation and for formal verification is outlined. The simulation part (PADDE, from Parallelism and Abstmction in Dimensional Design) is operative and under use. The verification part (SYR, from System Rules) is being(More)
  • 1