An experience with two symbolic execution-based approaches to formal verification of Ada tasking programs

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/wst.1988.5363

Abstract

No abstract available

This publication has 0 references indexed in Scilit: