scientific article; zbMATH DE number 1498420

zbMATH Open0947.68055MaRDI QIDQ4499485FDOQ4499485

Nikolay V. Shilov, Evgeny V. Bodin, V. A. Nepomnyashchij

Publication date: 30 August 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

model checkingspecificationtemporal logicdynamic logicnon-determinismREAL

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Specification and verification of distributed systems by means of the elementary-REAL language
• Language-oriented formal analysis: a case study on protocols and distributed systems

Uses Software

• Basic-REAL

   Recommendations

• Specification and verification of distributed systems by means of the elementary-REAL language 👍 👎
• Title not available (Why is that?) 👍 👎
• Modular abstractions for verifying real-time distributed systems 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499485)