An isolation approach to symbolic execution-based verification of Ada tasking programs
- 1 March 1991
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 14 (3) , 183-198
- https://doi.org/10.1016/0164-1212(91)90065-e
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Unisex: A unix-based symbolic executor for pascalSoftware: Practice and Experience, 1985
- The ``Hoare Logic'' of CSP, and All ThatACM Transactions on Programming Languages and Systems, 1984
- Axioms and proof rules for Ada tasksIEE Proceedings E Computers and Digital Techniques, 1982
- Formal Program Verification Using Symbolic ExecutionIEEE Transactions on Software Engineering, 1982
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Verifying properties of parallel programsCommunications of the ACM, 1976
- MonitorsCommunications of the ACM, 1974