Simon Fraser University
0 documents • ranked by quality and engagement.
This course explores mathematical techniques and automated tools used to prove the correctness of hardware and software systems.
No documents uploaded to this course yet.