Filter by
Subject
Required
Language
Required
The language used throughout the course, in both instruction and assessments.
Learning Product
Required
Build job-relevant skills in under 2 hours with hands-on tutorials.
Learn from top instructors with graded assignments, videos, and discussion forums.
Learn a new tool or skill in an interactive, hands-on environment.
Get in-depth knowledge of a subject by completing a series of courses and projects.
Earn career credentials from industry leaders that demonstrate your expertise.
Earn career credentials while taking courses that count towards your Master’s degree.
Level
Required
Duration
Required
Skills
Required
Subtitles
Required
Educator
Required
Results for "formal+verification"
Status: Free
Microsoft
Skills you'll gain: Natural Language Processing, Reinforcement Learning
University of Colorado System
Skills you'll gain: Algorithms, Cryptography, Mathematical Theory & Analysis, Mathematics, Theoretical Computer Science, Applied Mathematics, Computational Logic
University of Colorado Boulder
University of Colorado System
Skills you'll gain: Cryptography, Theoretical Computer Science, BlockChain, Security Engineering
University of Minnesota
Skills you'll gain: Software Engineering, Software Testing
The Hong Kong University of Science and Technology
Skills you'll gain: Matlab
Status: FreeDeepLearning.AI
EIT Digital
Skills you'll gain: Data Analysis
University of Colorado Boulder
In summary, here are 10 of our most popular formal+verification courses
- System Validation (2): Model process behaviour: EIT Digital
- Microsoft AI & ML Engineering: Microsoft
- Mathematical Foundations for Cryptography: University of Colorado System
- Foundations of Autonomous Systems: University of Colorado Boulder
- Cryptographic Hash and Integrity Protection: University of Colorado System
- Introduction to Automated Analysis: University of Minnesota
- Mathematics for Engineers: The Capstone Course: The Hong Kong University of Science and Technology
- Secure Software Development: Packt
- Solidity Mastery: Foundations to Advanced Smart Contracts: Packt
- Quality and Safety for LLM Applications: DeepLearning.AI
