Protocol validation
I'm working on the homework assignment for Formal Methods. I'll validate a network protocol, to verify it does what it should do. It is a relatively easy protocol ("sliding window") but the validation is rather complex. Make's it interesting.
There is no radio in the bedroom (where I'm working), but I discovered ShoutCast, which has a lot of online radio stations. The nice thing about it is that the quality is very good.
After this assignment there's a test on Monday, after which I'm done with all my courses. Then I'll have another few weeks to finish my internship paper.
»
- Log in to post comments
Comments
Protocol validation
Icecast offers even better quality because they use the ogg vorbis codec which does pretty decent quality stereo streams at 64 kbps. In blind listening tests, ogg vorbis even beats windows media/AAC. Unfortunately, there aren't many broadcasts listed on icecast.com, but if you're considering streaming yourself, ice is worth consideration. (And winamp plays it)
http://www.oddsock.org/icecast2yp/