Resum
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 Abstraction in Dimensional Design) is operative and under use. The verification part (SYR, from System Rules) is being developed, both theory, methods, and tools.
Idioma original | Anglès |
---|---|
DOIs | |
Estat de la publicació | Publicada - 1994 |
Esdeveniment | 5th IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks, CAMAD 1994 - Princeton, United States Durada: 24 d’abr. 1994 → 27 d’abr. 1994 |
Conferència
Conferència | 5th IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks, CAMAD 1994 |
---|---|
País/Territori | United States |
Ciutat | Princeton |
Període | 24/04/94 → 27/04/94 |