Software Correctness Analysis

Welcome to cs 6110 covering correctnss checking

CORE VALUE

Formal is the lens and lever

 Important Links for the course

 

Subscribe Piazza, or forever hold your piece/peace

See canvas for joining instructions - i.e. the piazza link - was posted in announcements