Compositional Verification of a Switch Fabric from Nortel Networks

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_32 ◽

2003 ◽

pp. 560-578

Author(s):

Hong Peng ◽

Sofiène Tahar ◽

Yassine Mokhtari

Keyword(s):

Compositional Verification ◽

Download Full-text

The Wire-Speed Multicast Switch Fabric Based on Distributive Lattice

IEICE Transactions on Communications ◽

10.1587/transcom.e97.b.1385 ◽

2014 ◽

Vol E97.B (7) ◽

pp. 1385-1394 ◽

Author(s):

Fuxing CHEN ◽

Weiyang LIU ◽

Hui LI ◽

Dongcheng WU

Keyword(s):

Distributive Lattice ◽

Switch Fabric ◽

Download Full-text

Sound and mechanised compositional verification of input-output conformance

Software Testing Verification and Reliability ◽

10.1002/stvr.1498 ◽

2013 ◽

Vol 24 (4) ◽

pp. 289-319 ◽

Author(s):

Augusto Sampaio ◽

Sidney Nogueira ◽

Alexandre Mota ◽

Yoshinao Isobe

Keyword(s):

Compositional Verification ◽

Download Full-text

A 2.56 Tb/s throughput packet/cell-based optical switch-fabric demonstrator

24th European Conference on Optical Communication. ECOC '98 (IEEE Cat. No.98TH8398) ◽

10.1109/ecoc.1998.731216 ◽

2002 ◽

Author(s):

S. Araki ◽

S. Takahashi ◽

Y. Maeno ◽

Y. Suemura ◽

A. Tajima ◽

...

Keyword(s):

Optical Switch ◽

Download Full-text

Fast packet routing in a 2.5 Tb/s optical switch fabric with 40 Gb/s duobinary signals at 0.8 b/s/Hz spectral efficiency

OFC 2003 Optical Fiber Communications Conference, 2003. ◽

10.1109/ofc.2003.316032 ◽

2003 ◽

Author(s):

M. Duelk ◽

J. Gripp ◽

J. Simsarian ◽

A. Bhardwaj ◽

P. Bernasconi ◽

...

Keyword(s):

Spectral Efficiency ◽

Optical Switch ◽

Packet Routing ◽

Download Full-text

On using temporal logic for refinement and compositional verification of concurrent systems

Theoretical Computer Science ◽

10.1016/0304-3975(94)00206-x ◽

1995 ◽

Vol 140 (1) ◽

pp. 95-138 ◽

Author(s):

Abdelillah Mokkedem ◽

Dominique Méry

Keyword(s):

Temporal Logic ◽

Concurrent Systems ◽

Compositional Verification

Download Full-text

A fault tolerant reconfigurable ATM switch fabric

IEEE INFCOM '91. The conference on Computer Communications. Tenth Annual Joint Comference of the IEEE Computer and Communications Societies Proceedings ◽

10.1109/infcom.1991.147646 ◽

1991 ◽

Author(s):

S.-C. Yang ◽

J.A. Silvester

Keyword(s):

Fault Tolerant ◽

Switch Fabric ◽

Download Full-text

Towards the compositional verification of real-time UML designs

Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 ◽

10.1145/940071.940078 ◽

2003 ◽

Author(s):

Holger Giese ◽

Matthias Tichy ◽

Sven Burmester ◽

Stephan Flake

Keyword(s):

Real Time ◽

Compositional Verification

Download Full-text

Robust and compositional verification of object capability patterns

Proceedings of the ACM on Programming Languages ◽

10.1145/3133913 ◽

2017 ◽

Vol 1 (OOPSLA) ◽

pp. 1-26 ◽

Author(s):

David Swasey ◽

Deepak Garg ◽

Derek Dreyer

Keyword(s):

Compositional Verification

Download Full-text

Switch Fabric Control

Optical Switching ◽

10.1007/0-387-29159-8_10 ◽

2008 ◽

pp. 307-332 ◽

Author(s):

Wojciech Kabacinski ◽

Grzegorz Danilewicz ◽

Mariusz Glabowski

Keyword(s):

Download Full-text

Compositional Verification Using Petri Nets

Compositional Verification of Concurrent and Real-Time Systems ◽

10.1007/978-1-4615-1009-3_5 ◽

2002 ◽

pp. 83-128

Author(s):

Eric Y. T. Juan ◽

Jeffrey J. P. Tsai

Keyword(s):

Compositional Verification

Download Full-text