200 300 400 500 100 200 300 400 500 100 200 300 400 500 100 200 300 400 500 100 200 300 400 500 100 House SenateBasics 1Basics 2Grab Bag.
The SPIN System. What is SPIN? Model-checker. Based on automata theory. Allows LTL or automata specification Efficient (on-the-fly model checking, partial.
Trivia Jeopardy
Trivia Jeopardy Two
Jeopardy
200
UC BERKELEY IEEE STUDENT CHAPTER DATABASE
By: Lindsey Nickels. Instructions / Click on the amount for the question. / To answer the question click on the one you think is right. / If wrong click.