An isolation approach to symbolic execution-based verification of Ada tasking programs

• Authors:

• Laura K. Dillion

• Affiliations:

• -

• Venue:
• Journal of Systems and Software
• Year:
• 1991