Automatic verification for a class of distributed systems

G. Manduchi; M. Moro

doi:10.1007/pl00008915

Automatic verification for a class of distributed systems

Distributed Computing ◽

10.1007/pl00008915 ◽

2000 ◽

Vol 13 (3) ◽

pp. 127-143 ◽

Cited By ~ 1

Author(s):

G. Manduchi ◽

M. Moro

Keyword(s):

Distributed Systems ◽

Automatic Verification

Download Full-text

Automatic verification of distributed systems: The process algebra approach

Formal Methods in System Design ◽

10.1007/bf00121261 ◽

1996 ◽

Vol 8 (1) ◽

pp. 7-38 ◽

Cited By ~ 8

Author(s):

Paola Inverardi ◽

Corrado Priami

Keyword(s):

Distributed Systems ◽

Process Algebra ◽

Automatic Verification ◽

Algebra Approach

Download Full-text

Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems

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

10.1007/978-3-030-02450-5_30 ◽

2018 ◽

pp. 436-440

Author(s):

Dileepa Fernando

Keyword(s):

Distributed Systems ◽

Nash Equilibrium ◽

Model Checking ◽

Automatic Verification

Download Full-text

Automatic verification of uml state chart by bogor model checking tool: Automatic formal verification of network and distributed systems

2015 2nd International Conference on Knowledge-Based Engineering and Innovation (KBEI) ◽

10.1109/kbei.2015.7436146 ◽

2015 ◽

Cited By ~ 1

Author(s):

Behzad Soleimani Neysian ◽

Seyed Morteza Babamir

Keyword(s):

Distributed Systems ◽

Model Checking ◽

Formal Verification ◽

Automatic Verification ◽

State Chart

Download Full-text

Emotion Detection Device and Method For Use in Distributed Systems

PsycEXTRA Dataset ◽

10.1037/e623582012-001 ◽

2012 ◽

Cited By ~ 1

Author(s):

Ian M. Bennett

Keyword(s):

Distributed Systems ◽

Emotion Detection

Download Full-text

Emphasizing Distributed Systems

10.1016/s0065-2458(05)x8001-9 ◽

2000 ◽

Keyword(s):

Distributed Systems

Download Full-text

Computational Methods for Optimizing Distributed Systems

10.1016/s0076-5392(08)x6160-0 ◽

1984 ◽

Keyword(s):

Distributed Systems ◽

Computational Methods

Download Full-text

Lumped approximation of distributed systems and controllability questions

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1985.0017 ◽

1985 ◽

Vol 132 (3) ◽

pp. 89 ◽

Cited By ~ 5

Author(s):

B.D.O. Anderson ◽

P.C. Parks

Keyword(s):

Distributed Systems

Download Full-text

Managing evolution in distributed systems

Software Engineering Journal ◽

10.1049/sej.1989.0044 ◽

1989 ◽

Vol 4 (6) ◽

pp. 321 ◽

Cited By ~ 1

Author(s):

Jeff Kramer ◽

Jeff Magee ◽

Morris Sloman

Keyword(s):

Distributed Systems

Download Full-text

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

Software Engineering Journal ◽

10.1049/sej.1989.0037 ◽

1989 ◽

Vol 4 (5) ◽

pp. 268 ◽

Cited By ~ 10

Author(s):

Geoffrey F. Carpenter ◽

Andrew M. Tyrrell

Keyword(s):

Distributed Systems

Download Full-text

DEVELOPMENT OF COMMUNICATION DATA TRANSMISSION PROTOCOL IN DISTRIBUTED SYSTEMS

ELECTRICAL AND COMPUTER SYSTEMS ◽

10.15276/etks.13.89.2014.30 ◽

2014 ◽

pp. 209-214

Author(s):

P. Ilin ◽

◽

J. Sieck ◽

V. Brovkov ◽

M. Pashkovskyi

Keyword(s):

Distributed Systems ◽

Data Transmission ◽

Transmission Protocol

Download Full-text