An advanced system for the verification and validation of real-time avionics software

Publisher Website

2 January 2003

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

https://doi.org/10.1109/dasc.1992.282130

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

Applying Petri net reduction to support Ada-tasking deadlock detection
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
The Requirements Apprentice: automated assistance for requirements acquisition
IEEE Transactions on Software Engineering, 1991
A formal model of program dependences and its implications for software testing, debugging, and maintenance
IEEE Transactions on Software Engineering, 1990
An Empirical Study of Software Metrics
IEEE Transactions on Software Engineering, 1987
Data Flow Analysis in Software Reliability
ACM Computing Surveys, 1976