Filter by
The language used throughout the course, in both instruction and assessments.
Results for "formal verification"
Status: FreeStanford University
Skills you'll gain: Computational Logic, Mathematics, Problem Solving, Critical Thinking
Status: FreeEIT Digital
Skills you'll gain: Leadership and Management
University of Leeds
Skills you'll gain: Software Testing
University of Minnesota
Skills you'll gain: Software Testing, Software Engineering, Computer Programming, Java Programming, Mobile Development Tools, Web Development, Problem Solving, Data Analysis Software, Programming Principles, System Software, Android Development, HTML and CSS, Mobile Development, Other Web Frameworks, Planning, Web Development Tools, iOS Development
Status: FreeUniversity of Amsterdam
Skills you'll gain: Computational Logic, Computational Thinking, Critical Thinking, Decision Making, Mathematical Theory & Analysis, Problem Solving
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
University of Minnesota
Skills you'll gain: Computer Programming, Software Engineering, Software Testing, Problem Solving, Data Analysis Software, Java Programming, Programming Principles, System Software, Planning
Status: FreeShanghai Jiao Tong University
Skills you'll gain: Mathematics, Combinatorics
University of Illinois Urbana-Champaign
Skills you'll gain: Algebra, Algorithms, Computational Logic, Mathematics
The Hong Kong University of Science and Technology
Skills you'll gain: Mathematics, Calculus, Linear Algebra, Mathematical Theory & Analysis, Algebra, Differential Equations, Critical Thinking, Problem Solving, Computer Programming, Applied Mathematics, Computational Thinking, Matlab, Data Analysis, Continuous Integration, Geometry, Machine Learning Software, Operational Analysis, Process Analysis, Data Science
Skills you'll gain: Cryptography, Risk Management
Status: FreeUniversity of North Texas
Skills you'll gain: Algebra, Mathematics, Applied Mathematics, Linear Algebra, Problem Solving, Mathematical Theory & Analysis, Critical Thinking, Differential Equations, Geometry, Probability & Statistics, General Statistics
In summary, here are 10 of our most popular formal verification courses
- Introduction to Logic:Â Stanford University
- Quantitative Model Checking:Â EIT Digital
- Foundations of Software Testing and Validation:Â University of Leeds
- Software Testing and Automation:Â University of Minnesota
- Logic for Economists:Â University of Amsterdam
- Formal Financial Accounting:Â University of Illinois Urbana-Champaign
- Introduction to Software Testing:Â University of Minnesota
- Discrete Mathematics:Â Shanghai Jiao Tong University
- VLSI CAD Part I: Logic:Â University of Illinois Urbana-Champaign
- Mathematics for Engineers:Â The Hong Kong University of Science and Technology
