Verifying general safety properties of Ada tasking programs

This publication has 21 references indexed in Scilit:

• An interleaving symbolic execution approach for the formal verification of Ada programs with tasking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Using symbolic execution for verification of Ada tasking programs
  ACM Transactions on Programming Languages and Systems, 1990
• Combining static concurrency analysis with symbolic execution
  IEEE Transactions on Software Engineering, 1988
• Unisex: A unix-based symbolic executor for pascal
  Software: Practice and Experience, 1985
• The ``Hoare Logic'' of CSP, and All That
  ACM Transactions on Programming Languages and Systems, 1984
• The ?Hoare logic? of concurrent programs
  Acta Informatica, 1980
• Principles of proving concurrent programs in Gypsy
  Published by Association for Computing Machinery (ACM) ,1979
• Verification of protocols using symbolic execution
  Computer Networks (1976), 1978
• An Introduction to Proving the Correctness of Programs
  ACM Computing Surveys, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969