ece 478: formal methods

formal methods, as i understand it, is teaching us how to validate that a program behaves as you expect it to. just like algorithms, we are pretty much only working in boolean expressions right now. the last two classes have been about sat solvers, which can be used to check if a logical statement can possibly be true (satisfiable) or if it must be true (valid). you can check the validity of a statement by negating the satisfiability. i.e., if a statement is not not satisfiable, then it must be valid.