Verifying LabVIEW Graphical Programs with ACL2

• Talk slides (pdf)
• Supporting graphics
  • for slide titled "A PROGRAM (OUR RUNNING EXAMPLE)"
    • gauss program, unannotated: front panel
    • gauss program, unannotated: block diagram
    • gauss program, annotated: front panel
    • gauss program, annotated: block diagram
  • for slide titled "EXAMPLE ILLUSTRATING LIBRARY DEVELOPMENT"
    • zero-array program, annotated: front panel
    • zero-array program, annotated: block diagram