Filter by
The language used throughout the course, in both instruction and assessments.
Results for "formal+verification"
University of Illinois Urbana-Champaign
Skills you'll gain: Accounting, Accounts Payable and Receivable, Finance, Financial Accounting, Generally Accepted Accounting Principles (GAAP), Payments, Cost Accounting, Financial Analysis
Johns Hopkins University
Skills you'll gain: Algebra, Linear Algebra, Mathematics, Problem Solving, Applied Mathematics, Critical Thinking, Plot (Graphics)
Status: FreeUniversity of Pennsylvania
Skills you'll gain: Mathematics, Calculus, Mathematical Theory & Analysis, Differential Equations, Problem Solving
Status: FreeUniversity of Amsterdam
Skills you'll gain: Computational Logic, Computational Thinking, Critical Thinking, Decision Making, Mathematical Theory & Analysis, Problem Solving
Status: FreeUniversidad de Palermo
University of Colorado System
Skills you'll gain: Security Engineering, Computer Networking, Network Security, System Security, Amazon Web Services, Cloud Computing, Cloud Infrastructure, Security Software, Cloud Applications, Computer Security Incident Management, Cyberattacks, Software Security, Cloud Management, Computer Security Models, Network Analysis
Status: FreeUniversitat Autònoma de Barcelona
Skills you'll gain: Mathematics, Calculus, Problem Solving, Algebra, Mathematical Theory & Analysis, Linear Algebra, Angular, Geometry, Operational Analysis
Peking University
Skills you'll gain: Problem Solving, Leadership and Management, Algebra, Computer Programming, Programming Principles, C++ Programming, Mathematics, Calculus, Computational Logic, Computational Thinking, C Programming Language Family, Mathematical Theory & Analysis, Python Programming, Algorithms, Data Structures
Coursera Project Network
Status: FreeSkills you'll gain: Systems Design, Theoretical Computer Science
Status: FreeSkills you'll gain: Cloud Computing
Johns Hopkins University
Skills you'll gain: Algebra, Mathematics, Problem Solving, Linear Algebra, Applied Mathematics
In summary, here are 10 of our most popular formal+verification courses
- Formal Financial Accounting: University of Illinois Urbana-Champaign
- Algebra: Elementary to Advanced - Functions & Applications: Johns Hopkins University
- Single Variable Calculus: University of Pennsylvania
- Logic for Economists: University of Amsterdam
- Matemática Preuniversitaria: Universidad de Palermo
- Advanced System Security Design: University of Colorado System
- Pre-Calculus: Universitat Autònoma de Barcelona
- 程序设计与算法: Peking University
- Finite Element Analysis Convergence and Mesh Independence: Coursera Project Network
- System Validation: Automata and behavioural equivalences: EIT Digital
