El lenguaje SPARK es un subconjunto de:
- A.Java
- B.Fortran
- C.Ruby
- D.AdaRespuesta correcta
Explicación
La respuesta correcta es D. SPARK es un subconjunto del lenguaje Ada diseñado para sistemas de alta integridad y seguridad crítica. Incorpora anotaciones formales para verificación estática y se utiliza en aviación, ferrocarril y defensa.