Stanford AA228V/CS238V Lecture Notebooks

Notebooks to accompany lectures for Stanford's AA228V/CS238V Validation of Safety-Critical Systems.

Uses the StanfordAA228V.jl Julia package.

Julia/Pluto Session

The session on using Julia and Pluto can be viewed as a static notebook or run locally by downloading notebooks/julia_pluto_session.jl and opening it in a Pluto session. A link to the session recording will be on Canvas.

Installation

• Install Pluto and the SISL Julia package registry:
  1. Open julia in a terminal.
  2. Run:

     using Pkg
     Pkg.add("Pluto")
     Registry.add(url="https://github.com/sisl/Registry.git")

Running

• Open Pluto:
  • Run julia in a terminal.
  • Within Julia, run:

    using Pluto
    Pluto.run()

    • This should open Pluto in your browser.
      • If not, checkout the Pluto output for the URL (likely http://localhost:1234/):

      ┌ Info:
      └ Opening http://localhost:1234/ in your default browser... ~ have fun!