AA228VLectureNotebooks

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!
        

This site is open source. Improve this page.