University of Cincinnati Logo
 

20-CS-626 - Formal Methods
School of Computing Sciences and Informatics

Homework Solutions
   Model a flip flop
Solution: first assignment.
   Modeling an elevator
Solution: second assignment.
   Fool around with ACL2
Solution: third assignment.
   Prove a program correct with ACL2
Solution: fourth assignment.
ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson