Document Search Results

Newest Citations Relevance

Vizovitin, N. V.; Nepomniaschy, V. A.; Stenenko, A. A.

Verifying UCM specifications of distributed systems using colored Petri nets. (English. Russian original) Zbl 1317.93177

Cybern. Syst. Anal. 51, No. 2, 213-222 (2015); translation from Kibern. Sist. Anal. 2015, No. 2, 62-74 (2015).

MSC: 93C65

Cite Review PDF

Full Text: DOI

Saha, Indranil; Mukhopadhyay, Debapriyay

A distributed algorithm of fault recovery for stateful failover. (English) Zbl 1200.68054

Cai, Jin-Yi (ed.) et al., Theory and applications of models of computation. 4th international conference, TAMC 2007, Shanghai, China, May 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72503-9/pbk). Lecture Notes in Computer Science 4484, 738-749 (2007).

MSC: 68M15 68R10 68W15

Cite Review PDF

Full Text: DOI

Argón, Pablo; Roux, Olivier

Some issues in using formal methods for the development of reactive systems. (English) Zbl 0915.68022

Electron. J. SADIO 1, No. 1, 52-75 (1998).

MSC: 68N20 68Q60

Cite Review PDF

Full Text: EuDML EMIS

Holzmann, Gerard J.; Kupferman, Orna

Not checking for closure under stuttering. (English) Zbl 0889.68102

Grégoire, Jean-Charles (ed.) et al., The SPIN verification system. The 2nd workshop, proceedings of a DIMACS workshop. Rutgers Univ., New Brunswick, NJ, USA; August 5, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 32, 17-22 (1997).

MSC: 68Q60

Cite Review PDF

Found 4 Documents (Results 1–4)

Verifying UCM specifications of distributed systems using colored Petri nets. (English. Russian original) Zbl 1317.93177

A distributed algorithm of fault recovery for stateful failover. (English) Zbl 1200.68054

Some issues in using formal methods for the development of reactive systems. (English) Zbl 0915.68022

Not checking for closure under stuttering. (English) Zbl 0889.68102

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software