Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.


See full index

cs4052 logic and software verification

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

By: Tom Hardern
Start Studying

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

Learn faster with Brainscape on your web, iPhone, or Android device. Study Tom Hardern's CS4052 Logic and Software Verification flashcards now!

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.

Learn more about spaced repetition

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?

Logic
  • 8 decks
  • 134 flashcards
  • 3 learners
Decks: Unit 1, Unit 2, Unit 25, And more!
TM354 Software engineering
  • 9 decks
  • 429 flashcards
  • 95 learners
Decks: Unit 1, Unit 2, Unit 3, And more!
LOGIC
  • 4 decks
  • 117 flashcards
  • 12 learners
Decks: Prelims Intro To Philosophy, Prelims Ppt 1, Prelims Ppt 2, And more!
Find Flashcards
Make Flashcards
Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions