Ada SPARK is a realistic option today: https://learn.adacore.com/courses/intro-to-spark/index.html https://learn.adacore.com/courses/intro-to-spark/index.html

Ada SPARK is a realistic option today: https://learn.adacore.com/courses/intro-to-spark/index.html https://learn.adacore.com/courses/intro-to-spark/index.html >> Is the total cost of learning Ada and SPARK greater than learning Rust or Frama-C? It is a comparable amount of effort.