Filter by
The language used throughout the course, in both instruction and assessments.
Results for "formal+verification"
University of London
Skills you'll gain: Mathematical Theory & Analysis, Mathematics, Problem Solving, Algebra, Calculus, Applied Mathematics, Critical Thinking, Theoretical Computer Science
University of Leeds
Skills you'll gain: Cryptography, Graph Theory
University of Colorado System
Skills you'll gain: Algorithms, Cryptography, Mathematical Theory & Analysis, Mathematics, Theoretical Computer Science, Applied Mathematics, Computational Logic
Status: Free
Microsoft
Skills you'll gain: Natural Language Processing, Reinforcement Learning
Coursera Project Network
Skills you'll gain: Javascript
University of Colorado System
Skills you'll gain: Software Engineering, Business Analysis, Agile Software Development, Communication, Business Process Management, Customer Analysis, Design and Product, Process Analysis, Product Management, Software Engineering Tools, Product Development, Systems Design, Planning, Project Management, Software Architecture, Extract, Transform, Load, Interactive Data Visualization, Software-Defined Networking
LearnQuest
Skills you'll gain: BlockChain, Cryptography, Risk Management
University of Colorado System
Skills you'll gain: Cryptography, Theoretical Computer Science, BlockChain, Security Engineering
Status: FreeDeepLearning.AI
EIT Digital
Skills you'll gain: Data Analysis
In summary, here are 10 of our most popular formal+verification courses
- Mathematics for Computer Science: University of London
- An Introduction to Logic for Computer Science: University of Leeds
- Mathematical Foundations for Cryptography: University of Colorado System
- Advanced Cybersecurity Concepts and Capstone Project: Microsoft
- Quantitative Formal Modeling and Worst-Case Performance Analysis: EIT Digital
- Microsoft AI & ML Engineering: Microsoft
- Validate HTML Forms with JavaScript and HTML: Coursera Project Network
- Requirements Engineering: Secure Software Specifications: University of Colorado System
- Security for Blockchain and DApps: LearnQuest
- Cryptographic Hash and Integrity Protection: University of Colorado System
