MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formal Verification of Ada Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Double Reduction of Ada-ECATNet Representation using Rewriting Logic
by Noura Boudiaf, et al.
… in [4] a method for translating Ada-95 tasking programs to ECATNets formalism (Ada…
Add To MetaCart

Developing Formally Verified Ada Programs
by Norman Ramsey — 1988
…Developing Formally Verified Ada Programs Norman Ramsey y Odyssey Research Associates October 10…
Cited by 4 (2 self) – Add To MetaCart

Classified Larch Bibliography
by Stephen J. Garland, Jeannette M. Wing, Amy Moormann, Zaremski Unintrusive, W. J. Toetenel, Vdm Formal, Software Development Methods, Department Of Electrical, Mark T. V, Specification-based Analysis — 1996
…, Carla Marceau, and Wolfgang Polak. Formal verification of Ada. IEEE Transactions on Software Engineering…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB