A formal methodology using attributed grammars for multiprocessing-system software development II. Validation
- 31 August 1983
- journal article
- Published by Elsevier in Information Sciences
- Vol. 30 (2) , 107-123
- https://doi.org/10.1016/0020-0255(83)90002-6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Conversion of decision tables to efficient sequential testing proceduresCommunications of the ACM, 1980
- Functional Program TestingIEEE Transactions on Software Engineering, 1980
- Applications of Symbolic Execution to Program TestingComputer, 1978
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- The intrinsically exponential complexity of the circularity problem for attribute grammarsCommunications of the ACM, 1975
- Proving Programs to be CorrectIEEE Transactions on Computers, 1971