4 ms·
Is Ada SPARK a realistic option today or do I need to be an academic? Is the total cost of learning Ada and SPARK greater than learning Rust or Frama-C?
by als0 4y ago
Is Ada SPARK a realistic option today or do I need to be an academic?
Is the total cost of learning Ada and SPARK greater than learning Rust or Frama-C?
- thesuperbigfrog 4y agoAda 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.