Black Friday 2024: 25+ Ways to Save on Online Learning

Class Central

Rankings
Collections

Subjects

View all

Computer Science
Health & Medicine
Mathematics
Business
Humanities
Engineering
Science
Education & Teaching
Social Sciences
Art & Design
Data Science
Programming
Personal Development
Information Security (InfoSec)

View all Subjects

Universities
The Report

Courses from 1000+ universities

Rankings

Best Courses

Best of All Time
Best of the Year 2022
Best of the Year 2021

Most Popular Courses

Most Popular of All Time
Most Popular of the Year 2024
Most Popular of the Year 2023

Collections

Computer Science

Artificial Intelligence
Algorithms and Data Structures
Internet of Things
Information Technology
Computer Networking
Machine Learning
DevOps
Deep Learning
Cryptography
Quantum Computing
Human-Computer Interaction (HCI)
Distributed Systems
Blockchain Development
Operating Systems
Computer Graphics
Automata Theory
Compilers
SCADA
Mainframe
Digital Image Processing
View all Computer Science

Health & Medicine

Nutrition & Wellness
Disease & Disorders
Public Health
Health Care
Nursing
Anatomy
Veterinary Science
Continuing Medical Education (CME)
Blood Pressure
Wellbeing
Women's Health
Hygiene
Healthcare Innovation
Music Therapy
Holistic Health
Ayurveda
Herbalism
Massage Therapy
View all Health & Medicine

Mathematics

Statistics & Probability
Foundations of Mathematics
Calculus
Discrete Mathematics
Trigonometry
Geometry
Algebra
Precalculus
Number Theory
Combinatorics
Mathematical logic
Linear Programming
Graph Theory
Set Theory
Group Theory
Differential Equations
Polynomials
Integration
Mathematical Analysis
Mathematical Thinking
View all Mathematics

Business

Management & Leadership
Finance
Entrepreneurship
Marketing
Strategic Management
Industry Specific
Business Intelligence
Accounting
Human Resources
Project Management
Sales
Design Thinking
Business Software
Customer Service
Nonprofit Management
Innovation
Operations Management
Corporate Governance
Business Plan
Business Proposal
View all Business

Humanities

History
Literature
Language Learning
Grammar & Writing
Philosophy
Religion
ESL
Culture
Sports
Journalism
Ethics
Linguistics
Food
Library Science
Reading
Crisis Management
Games
Emergency Management
Performing Arts
Religious Studies
View all Humanities

Engineering

Electrical Engineering
Mechanical Engineering
Civil Engineering
Robotics
Nanotechnology
GIS
Textiles
Manufacturing
BIM
CAD
Chemical Engineering
Energy Systems
Aerospace Engineering
Finite Element Analysis
Geotechnical Engineering
Reliability Engineering
Petroleum Engineering
Control Theory
Environmental Engineering
Energy Conversion
View all Engineering

Science

Chemistry
Physics
Environmental Science
Astronomy
Biology
Agriculture
Materials Science
Earth Science
Applied Science
Forensic Science
Meteorology
Horology
Paleontology
Fire Science
Sensory Science
Ergonomics
Physical Sciences
Complex Systems
Scientific Method
Medicine
View all Science

Education & Teaching

K12
Higher Education
STEM
Teacher Professional Development
Course Development
Online Education
Pedagogy
Social-emotional Learning (SEL)
Instructional Design
Homeschooling
Special Education
Adult Education
Course Design
Online Learning
Educational Technology
Curriculum Development
Next Generation Science Standards
Student-Centered Learning
Student Engagement
Classroom Management
View all Education & Teaching

Social Sciences

Sociology
Economics
Psychology
Anthropology
Political Science
Law
Urban Planning
Human Rights
Sustainability
Governance
Archaeology
Social Work
Early Childhood Development
Structural Equation Modeling
Cultural Studies
Research Methods
Community Engagement
Philanthropy
Behavioral Science
Media Studies
View all Social Sciences

Art & Design

Music
Digital Media
Visual Arts
Design & Creativity
Art Therapy
Art Composition
Character Design
Fashion Design
Inspiration
Golden Ratio
Pattern Design
Geometric Patterns
Copic Markers
Jewelry Design
Botanical Drawing
Animal Illustration
Anime Drawing
Observational Drawing
Clay Modeling
View all Art & Design

Data Science

Bioinformatics
Big Data
Data Mining
Data Analysis
Data Visualization
Jupyter Notebooks
Process Mining
Stata
Text Mining
Social Network Analysis
Computational Analysis
Data Collection
Information Retrieval
Data Processing
Data Wrangling
Data Extraction
Data Manipulation
Monte Carlo Simulation
Network Analysis
Data Preparation
View all Data Science

Programming

Mobile Development
Web Development
Databases
Game Development
Programming Languages
Software Development
Cloud Computing
Domain-Specific Languages (DSL)
Hardware Description Languages (HDL)
Aspect-oriented programming
Object-oriented programming
Visual Programming
Competitive Programming
Database Programming
Generic Programming
Programming Language Development
Leetcode
GNU Toolchain
View all Programming

Personal Development

Communication Skills
Career Development
Self Improvement
Presentation Skills
Resilience
Self-Control
Creativity
Gratitude
Growth Mindset
Self-Assessment
Survival Skills
Sleep Improvement
Career Planning
Empowerment
Generosity
Personal Growth
Courage
Humility
Social Skills
Dog Training
View all Personal Development

Information Security (InfoSec)

Cybersecurity
Network Security
Ethical Hacking
Digital Forensics
Reverse Engineering
Penetration Testing
Malware Analysis
DevSecOps
OSINT (Open Source Intelligence)
Threat Intelligence
Red Team
Blue Team
View all Information Security (InfoSec)

Coursera Announces Layoffs, Stock Plunges Despite $100M Milestone

Two years after its first major layoff round, Coursera announces another, impacting 10% of its workforce.

Dhawal Shah Oct 25, 2024

Latest

Why Duolingo is Worth More Than Coursera and Udemy Combined
10 Best Adobe After Effects Courses for 2024
Black Friday 2024: 25+ Online Learning Deals
10 Best Lean Six Sigma Courses for 2024
8 Best WordPress Courses for 2024

Visit The Report

600 Free Google Certifications
Trending

Most common

Popular subjects

Psychology
2,703 courses
Cybersecurity
16,787 courses
Project Management
4,234 courses

Popular courses

How to Succeed at: Interviews
The University of Sheffield
Improving Your Study Techniques
University of Groningen
L'Italiano nel mondo
University of Naples Federico II

Organize and share your learning with Class Central Lists.

View our Lists Showcase

Sign up

Log in or Sign up

Log in
Sign up

Subjects
Computer Science
Software Engineering
Formal Methods

Free Online

Formal Methods Courses and Certifications

Learn Formal Methods, earn certificates with free online courses from YouTube and other top learning platforms around the world. Read reviews to decide if a class is right for you.

144 courses

Related Subjects

Software Engineering Courses
Logic Courses
Discrete Mathematics Courses
Software Testing Courses

Showing 144 courses

Sort by Relevancy

Filter by

Filters

1. With certificate (5)
2. Free course (143)
3. University course only (7)
Level
1. Intermediate (2)
2. Advanced (1)
3. Beginner (1)
Duration
1. < 30 mins (73)
2. 30 - 60 mins (51)
3. 1 - 2 hours (11)
4. 2 - 5 hours (3)
5. 10+ hours (5)
Language
1. English (141)
2. French (1)
3. German (2)

Safety and Liveness of Robot Behaviors

Explore formal methods for designing robots, guaranteeing behavior, and identifying potential issues. Learn about safety and liveness properties in robotic systems, including multi-robot and human-robot interactions.
- YouTube
- 58 minutes
- On-Demand
- Free Video
The Human Factors of Formal Methods - Stanford Seminar

Exploring human-centered approaches to improve formal methods' usability in software development, addressing cognitive challenges and misconceptions to enhance adoption by non-experts.
- YouTube
- 59 minutes
- On-Demand
- Free Video
Simons Institute
Towards Verified Deep Learning

Explore formal methods for verifying deep learning systems, focusing on robustness, semantic analysis, and applications in cyber-physical systems with UC Berkeley's Sanjit Seshia.
- YouTube
- 55 minutes
- On-Demand
- Free Video
Simons Institute
Reactive Synthesis

Explore reactive synthesis in computer science, covering automata, LTL, distributed systems, and bounded synthesis. Learn about decidability, complexity, and recent advancements in reasoning.
- YouTube
- 2 hours 2 minutes
- On-Demand
- Free Video
TheIACR
Formal Analysis

Explore computer-aided cryptography, symbolic verification, and verifiable primitives in this comprehensive analysis of formal methods in cryptographic design and security.
- YouTube
- 33 minutes
- On-Demand
- Free Video
USENIX
IronSpec - Increasing the Reliability of Formal Specifications

Innovative framework for enhancing formal specification reliability through automated testing, SpecTesting Proofs, and mutation testing. Discovers bugs in real-world verified systems, strengthening software verification.
- YouTube
- 15 minutes
- On-Demand
- Free Video
Hausdorff Center for Mathematics
Automated Transformation of Hierarchies of Theories in Large Libraries

Explore automated transformations of theory hierarchies in extensive libraries, focusing on efficient methods for managing complex mathematical structures.
- YouTube
- 11 minutes
- On-Demand
- Free Video
Simons Institute
Synthesis of Privacy-Preserving Systems

Explore privacy-preserving system synthesis, addressing hidden signals, budget constraints, and incomplete information while satisfying specifications and protecting secrets.
- YouTube
- 36 minutes
- On-Demand
- Free Video
Simons Institute
Reactive Synthesis - Open Questions and Challenges

Experts discuss open questions and challenges in reactive synthesis, exploring cutting-edge research and future directions in system modeling and automation.
- YouTube
- 27 minutes
- On-Demand
- Free Video
Simons Institute
Synthesis and Verification of Finite Horizon Tasks

Explore finite horizon task synthesis and verification techniques, focusing on model and system creation for time-bounded objectives in computational systems.
- YouTube
- 23 minutes
- On-Demand
- Free Video
Simons Institute
Tractable Representations for Boolean Functional Synthesis

Explore efficient techniques for synthesizing Boolean functions from relational specifications, focusing on structural properties and normal forms that enable tractable synthesis.
- YouTube
- 27 minutes
- On-Demand
- Free Video
Simons Institute
Distributed Controller Synthesis for Deadlock Avoidance

Explore advanced techniques for synthesizing distributed controllers to prevent deadlocks in complex systems, enhancing system reliability and performance.
- YouTube
- 30 minutes
- On-Demand
- Free Video
GOTO Conferences
Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015

Explore formal methods for creating bug-free software, including SeL4 microkernel and CompCert compiler. Learn about recent advancements and limitations in producing high-assurance software for vehicles.
- YouTube
- 47 minutes
- On-Demand
- Free Video
Mastering Concurrent Algorithms with TLA+

Explore TLA+ for modeling and verifying concurrent algorithms. Learn to use TLC model checker and TLA proof system to design robust, reliable software systems.
- YouTube
- 1 hour 1 minute
- On-Demand
- Free Video
ACM SIGPLAN
Solving Queries for Boolean Fault Tree Logic via Quantified SAT

Explore fault tree analysis using Boolean Logic and Quantified SAT. Learn to identify system failure factors, analyze what-if scenarios, and check element independence in fault trees.
- YouTube
- 25 minutes
- On-Demand
- Free Video

Browse by subject

Computer Science
Psychology
Cybersecurity
Health
Law
Accounting
Web Development

Browse by provider

Coursera
edX
FutureLearn
Udacity
Noble Desktop
Udemy
freeCodeCamp

Browse by university

Harvard
Stanford
Georgia Tech
University of Michigan
Purdue University
Duke University
IIT Madras

Browse by institution

Google
Microsoft
IBM
Amazon
Linux Foundation
British Council
Salesforce

Best Online Courses of All Time
Best Online Courses of the Year
Most Popular Courses of All Time
Most Popular Courses of the Year
250 Top FREE Coursera Courses of All Time
100 Top FREE edX Courses of All Time
250 Top Udemy Courses of All Time

The Report by Class Central RSS Feed

The "New Normal" that Wasn't
DDoS Attack on Class Central
500+ Online Degrees in India
Harvard's CS50 Free Certificate Guide
How Open University Works

Free Certificates & Courses

300+ Free Google Certificates
9000 Free Courses from Tech Giants
1800+ Free Coursera Courses
Ivy League Online Courses
180 Free Writing Online Courses

About Class Central

Class Central aggregates courses from many providers to help you find the best courses on almost any subject, wherever they exist.

Facebook
Twitter
LinkedIn
YouTube

Class Central © 2011-2024 Privacy Policy

About Us
Join Us
Help Center
Contact Us

Share

Facebook
Twitter
Email

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.