Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

CNCF [Cloud Native Computing Foundation]

Kubernetes Operators - Safety First Through Model Checkers

CNCF [Cloud Native Computing Foundation] via YouTube

Start learning Write review
DataCamp Ad

PowerBI Data Analyst - Create visualizations and dashboards from scratch

Learn More → Coursera Ad

AI, Data Science & Cloud Certificates from Google, IBM & Meta

Learn More →

Overview

Build a Learning Habit
Download Class Central's free printable study calendar
Download for Free
Explore the critical role of model checkers in enhancing the safety and reliability of Kubernetes Operators in this 24-minute conference talk from KubeCon + CloudNativeCon Europe 2021. Delve into the world of advanced tooling for developers, focusing on model checkers like TLA+ and Alloy, which have been successfully implemented in designing real-world systems from S3 to RTOS. Learn how these tools enable abstract system modeling, fact and assumption stating, and rule verification, effectively serving as a supercharged code review for system design. Gain insights into the motivation behind model checkers and witness a practical example of their application in Kubernetes Operator development.

Syllabus

Kubernetes Operators: Safety First Through Model Checkers - Neven Miculinic, grid.ai

Taught by

CNCF [Cloud Native Computing Foundation]

Reviews

Start your review of Kubernetes Operators - Safety First Through Model Checkers

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.