scientific article; zbMATH DE number 1498420

zbMATH Open0947.68055MaRDI QIDQ4499485FDOQ4499485

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

Publication date 30 August 2000

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)

Recommendations

• Specification and verification of distributed systems by means of the elementary-REAL language
• scientific article; zbMATH DE number 2086946
• Modular abstractions for verifying real-time distributed systems
• scientific article; zbMATH DE number 3898215

Cited In (5)

• Formal semantics of a VDM extension for distributed embedded systems
• Title not available (Why is no real title available?)
• 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
• Title not available (Why is no real title available?)

Uses Software

• Basic-REAL

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)