Efficient symbolic detection of global properties in distributed systems

1998 ◽  
pp. 357-368 ◽  
Author(s):  
Scott D. Stoller ◽  
Yanhong A. Liu
Keyword(s):  
Distributed Systems ◽  
Global Properties

Methods for observing global properties in distributed systems

1997 ◽  
Vol 5 (4) ◽  
pp. 69-77 ◽  
Author(s):  
V.K. Garg
Keyword(s):  
Distributed Systems ◽  
Global Properties

scholarly journals Model-based testing of global properties on large-scale distributed systems

2014 ◽  
Vol 56 (7) ◽  
pp. 749-762 ◽  
Author(s):  
Gerson Sunyé ◽  
Eduardo Cunha de Almeida ◽  
Yves Le Traon ◽  
Benoit Baudry ◽  
Jean-Marc Jézéquel
Keyword(s):  
Distributed Systems ◽  
Large Scale ◽  
Model Based ◽  
Global Properties ◽  
Model Based Testing

Managing evolution in distributed systems

1989 ◽  
Vol 4 (6) ◽  
pp. 321 ◽  
Author(s):  
Jeff Kramer ◽  
Jeff Magee ◽  
Morris Sloman
Keyword(s):  
Distributed Systems

The use of GMB in the design of robust software for distributed systems

1989 ◽  
Vol 4 (5) ◽  
pp. 268 ◽  
Author(s):  
Geoffrey F. Carpenter ◽  
Andrew M. Tyrrell
Keyword(s):  
Distributed Systems
Sign in / Sign up

Export Citation Format

Share Document