collaborators

1 paper

cs.LO2022

Using ACL2 To Teach Students About Software Testing

Ruben Gamboa, Alicia Thoney

We report on our experience using ACL2 in the classroom to teach students about software testing. The course COSC2300 at the University of Wyoming is a mostly traditional Discrete…