CS4052 Logic and Software Verification

This class was created by Brainscape user Tom Hardern. Visit their profile to learn more about the creator.

Flashcard maker: Tom Hardern

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
The creator of this deck did not yet add a description for what is included in this deck.
7  cards
Lectures 12 and 13: 12th November 2019
Timed automata and petri nets
0  cards
Lectures 14 and 15: 19th November 2019
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
52  cards
Exam: Question 3
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?

  • 6 decks
  • 111 flashcards
  • 4 learners
Decks: Unit 1, Unit 2 And 3, Unit 4, And more!
Certified Associate in Software Testing
  • 11 decks
  • 532 flashcards
  • 118 learners
Decks: Cast Full Deck, Practice Questions, Cast Ch 1, And more!
FB1 - 2nd year
  • 42 decks
  • 2106 flashcards
  • 141 learners
Decks: 2010 Biochem Midterm, 2011 Biochem Midterm, 2012 Biochem Midterm, And more!
Make flashcards