- decks
- flashcards
- learners
Decks in this class (5)
Questions
getgood
24
cards
Model Checking Algorithms - probabilistic (week 8)
What does dtmc stand for 1,
What does pctl stand for 2,
What is the definition for when a...
8
cards
Transition Systems (week 1)
What is the definition of a trans...,
How is the labelling function def...,
What are atomic propositions 3
15
cards
CTL and LTL
What is a witness 1,
What is a counterexample 2,
How do we define the set of all p...
14
cards
Bisimulation
What is a bisimulation relation 1,
What is bisimulation equivalence 2,
What is a bisimulation quotient 3
8
cards
More about
Program Analysis and Model Checking
- School Unspecified
- Program type Unspecified
- Course Unspecified
- Instructor Unspecified
- Standards Unspecified
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?
Programming & Analysis
- 8 decks
- 389 flashcards
- 1 learners
Decks:
Sustainable Design Strategies, Development Financing, Soils Deep Dive, And more!
Programming
- 15 decks
- 645 flashcards
- 255 learners
Decks:
Command Line, Csce3600 Exam 1, Csce3600 Exam 2, And more!
Market analysis- 220
- 41 decks
- 1655 flashcards
- 16 learners
Decks:
Chapter 1 From Class Pp Preliminaries, Mcqs For Final, Chapter 2 Casa The Basic Of Supply And D, And more!
