A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation

DOI10.1016/0020-0255(83)90002-6zbMath0571.68021OpenAlexW1998693679WikidataQ111899837 ScholiaQ111899837MaRDI QIDQ1061483

B. George

Publication date: 1983

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(83)90002-6

zbMATH Keywords

synchronizationconcurrent processesdesign analysisattributed grammarscontrol and data flowsmultiprocessing systemsValidation of large-scale software

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• Conversion of decision tables to efficient sequential testing procedures
• The intrinsically exponential complexity of the circularity problem for attribute grammars
• Symbolic execution and program testing
• Proof techniques for hierarchically structured programs
• The theory of languages
• Proving Programs to be Correct

This page was built for publication: A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation