scientific article; zbMATH DE number 1498420

MaRDI QIDQ4499485zbMATH OpenFDO

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

Publication date 30 August 2000

zbMATH Keywords

dynamic logicmodel checkingnon-determinismREALspecificationtemporal logic

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)

• Language-oriented formal analysis: a case study on protocols and distributed systems
• scientific article; zbMATH DE number 3898215 (Why is no real title available?)
• scientific article; zbMATH DE number 2086946 (Why is no real title available?)
• Formal semantics of a VDM extension for distributed embedded systems
• Specification and verification of distributed systems by means of the elementary-REAL language

Describes a project that uses

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)