- decks
- flashcards
- learners
Decks in this class (17)
Lectures 0 to 2 - 17th September 2019
Formal methods and model checking
50
cards
Lectures 3 and 4 - 24th September 2019
PROMELA continued and linear-time properties
26
cards
Tutorial 0 - 25th September 2019
PROMELA and Spin Exercises
2
cards
Lectures 5 and 6 - 1st October 2019
Never claims, LTL formulae, and Trace
37
cards
Tutorial 1: 9th October 2019
PROMELA, Spin, and Labelled Transition Systems
14
cards
Lectures 7 and 8: 15th October 2019
Transition Systems
50
cards
Lectures 9 and 10: 29th October 2019
Interleaving and communications
47
cards
Lectures 10 and 11: 5th November 2019
LTL fairness, CTL, async comms, timed automata
74
cards
Tutorial 2: 6th November 2019
How do you represent processes as...,
How do you combine two program gr...,
How do you find the reachable par...
7
cards
Lectures 12 and 13: 12th November 2019
Timed automata and petri nets
0
cards
Lectures 14 and 15: 19th November 2019
UPPAAL
50
cards
Tutorial 3: 20th November 2019
Timed Automata and UPPAAL
5
cards
Tutorial 4: 27th November 2019
Petri nets and timed automata
10
cards
Exam: Question 1
TSes, LTL, PGs, composition, expressing LTL conditions
50
cards
Exam: Question 2
PROMELA & SPIN
52
cards
Exam: Question 3
TAs & CTL
67
cards
Exam: Question 4
TSes, Petri nets, and LTL
52
cards
More about
CS4052 Logic and Software Verification
- Class purpose General learning
The creator of this class did not yet add a description for what is included in this class.
How studying works.
Brainscape's adaptive web mobile flashcards system will drill you on your weaknesses, using a pattern guaranteed to help you learn more in less time.
Add your own flashcards.
Either request "Edit" access from the author, or make a copy of the class to edit as your own. And you can always create a totally new class of your own too!
What's Brainscape anyway?
Brainscape is a digital flashcards platform where you can find, create, share, and study any subject on the planet.
We use an adaptive study algorithm that is proven to help you learn faster and remember longer....
Looking for something else?
Masterbooks Introduction to Logic
- 76 decks
- 3366 flashcards
- 72 learners
Decks:
Chapter 1, Chapter 2 New, Chapter 2 Review, And more!
Software Douchebags
- 15 decks
- 2303 flashcards
- 101 learners
Decks:
Se3352 Final, Ece4436 Final, Se3316 Final, And more!
PHI 250 - Thinking Logically
- 11 decks
- 494 flashcards
- 797 learners
Decks:
Chapter 1, Chapter 3, Chapter 5, And more!
