Forge: A Tool and Language for Teaching Formal Methods by Nelson, Tim, Greenman, Ben, Prasad, Siddhartha, Dyer, Tristan, Bove, Ethan, Chen, Qianfan, Cutting, Charles, Del Vecchio, Thomas, LeVine, Sidney, Rudner, Julianne, Ryjikov, Ben, Varga, Alexander, Wagner, Andrew, West, Luke, Krishnamurthi, Shriram

Get full text