Ada'(ID:1532/ada003)

Verifiable subset of Ada  

ORA. Subset of Ada used by the Penelope verification system. Omits tasking, generics, fixed and floating point.
Related languages
Ada 83 => Ada'   Subset
References:
  • Guaspari, D. et al "Formal Verification of Ada Programs" view details
          in IEEE Trans Soft Eng 16(09) September 1990 view details