Please turn in all homework to [http://learningsuite.byu.edu BYU Learningsuite].  The drop-box only accepts a single file, and that file should always be in PDF format. If for some reason, you must turn in multiple files, then you will want to compress those files into a single archive using zip, tar, gzip, etc.    Homework are intended to help prepare for the midterm and final.  If you work the homework, then you are adequately prepared (in theory). 

Please refer to [http://learningsuite.byu.edu BYU Learningsuite] for duedates. Also, please see the [[Syllabus]] for late policy, grade composition, and other details regarding homework.

* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw0-spin-processes.md Homework 0]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw1-mutual-exclusion-search.md Homework 1]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw2-nway-mutex-message-passing.md Homework 2]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw3-dijkstras-token-termination.md Homework 3]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw4-safety-NFA-never.md Homework 4]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw5-buchi-ddfs.md Homework 5]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw6-temporal-logic.md Homework 6]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw7-logic-semantics.md Homework 7]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw8-spin-ltl.md Homework 8]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw9-ctl-fixpoints.md Homework 9]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw10-robdd.md Homework 10]
* [https://bitbucket.org/byucs486/byu-cs-486-homework/src/master/hw11-cudd-ctl-mc.md Homework 11]

== Pre-migrate to Bitbucket Homework ==

* [[Homework 0]]
* [[Spin Homework 1 | Homework 1]]
* [[Homework 2]]
* [[Homework 3]]
* [[Homework 4]]
* [[Homework 5]]
* [[Homework 6]]
* [[Homework 7]]
* [[Homework 8]]
* [[Homework 9]]
* [[SPIN Homework 10 | Homework 10]]
* [[CTL Homework 11 | Homework 11]]
* [[Homework 13 | Homework 12]]

== Fall 2018 Homework ==
* [[Homework 1]]

== Fall 2017 Homework ==
* [[Homework 10]]
* [[Homework 11]]
* [[Homework 12]]
* [[Homework 13]]

==Winter 2016 Homework==
* [[Homework 1-2016]]
* [[Homework 2-2016]]
* [[Homework 3-2016]]
* [[Homework 4-2016]]
* [[Homework 4.5-2016]]
* [[Homework 5-2016]]
* [[Homework 6-2016]]
* [[Homework 7-2016]]
* [[Homework 8-2016]]