Semantic specification and verification of data flow diagrams

DOI10.1007/BF02943404zbMath0725.68070MaRDI QIDQ2277862

Yanyan Li

Publication date: 1991

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

verificationtemporal logic languagerequirement analysissystem specificationsemantic specification

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Specifying Concurrent Program Modules
• A Proof System for Communicating Sequential Processes
• Proofs of Networks of Processes
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantic specification and verification of data flow diagrams