Archive

A catalog of ready-to-use Ada/SPARK libraries plus a command-line tool (alr) to obtain, build, and incorporate them into your own projects. It aims to fulfill a similar role to Rust’s cargo or OCaml’s opam.

Two studies related to Toyota's Unintended Acceleration case:

• Barr Group
• Prof Koopman at CMU

@orionwl @alicemazzy This is a neat little intro (2014) -