Model checking

Formal sciences
Theoretical computer science
Programming language theory
Formal verification

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (26)

Page 2 of 3

Algorithmic Foundations for Systems Certification

Explores challenges in designing systems with untrustworthy components, focusing on verification, control, and interaction in unreliable systems.

Outlier Analysis

Discusses predicting future behavior and analyzing outliers in choice models.

Disasters, Successes, and Inductive Invariants

Explores software disasters, successful verifications, transition systems, and invariants in systems.

Improved Algorithm: Three-Color Parity Games

Introduces an improved algorithm for three-color parity games, focusing on progress measures, acceleration, and practical speed-up.

Automated Reasoning: Formal Verification with LISA

Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.

Dynamic Connectivity in fMRI: Methods & Applications

Explores dynamic functional connectivity methods in fMRI, emphasizing the identification of multiple brain states and their applications in understanding brain disorders.

Quantum Decision-Making: Neural Network Privacy

Covers the quantum decision-making model and its implications for neural network privacy and image recognition.

Prediction Tests

Discusses predicting future behavior, identifying outliers, and improving model specification.

Floating Systems Verification and Displacement Method

Covers the second-order verification of floating systems and the displacement method for piles under various loading conditions.

Impact Investment: Technologies, Innovations and Emerging Markets

Explores impact investment, social goals, outcomes, measurement methods, and practical exercises in impact evaluation.