Filter by
The language used throughout the course, in both instruction and assessments.
Results for "formal+verification"
University of Leeds
Skills you'll gain: Software Testing
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, Plot (Graphics), General Statistics
Status: FreeStanford University
Skills you'll gain: Computational Logic, Mathematics, Problem Solving, Critical Thinking
University of Colorado Boulder
Skills you'll gain: Hardware Design, Computational Logic, Computer Programming, Computer Architecture, Programming Principles, System Programming
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
Johns Hopkins University
Skills you'll gain: Algebra, Mathematics, Problem Solving, Linear Algebra, Applied Mathematics, Critical Thinking, Plot (Graphics), Mathematical Theory & Analysis, Computational Thinking, Decision Making
Status: FreeUniversidad Nacional Autónoma de México
Skills you'll gain: Algebra, Calculus, Linear Algebra, Mathematical Theory & Analysis, Mathematics, Problem Solving, Differential Equations, Operational Analysis, Process Analysis, Probability Distribution
Skills you'll gain: Cryptography, Risk Management
Johns Hopkins University
Skills you'll gain: Mathematics, Algebra, Problem Solving, Calculus, Critical Thinking, Mathematical Theory & Analysis, Linear Algebra, Plot (Graphics), Applied Mathematics, Data Model, Regression, Angular, Geometry, Data Analysis, Graph Theory
Status: FreeTecnológico de Monterrey
Skills you'll gain: Algebra, Calculus, Differential Equations, Mathematics, Linear Algebra, Mathematical Theory & Analysis, Algorithms, Computer Graphic Techniques, Graph Theory, Probability & Statistics
Johns Hopkins University
Skills you'll gain: Algebra, Critical Thinking, Mathematics, Applied Mathematics, Linear Algebra, Problem Solving, Mathematical Theory & Analysis, Computational Thinking, Plot (Graphics), Decision Making
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, Operational Analysis, Process Analysis, Data Science
In summary, here are 10 of our most popular formal+verification courses
- Foundations of Software Testing and Validation: University of Leeds
- Math Prep: College & Work Ready: University of North Texas
- Introduction to Logic: Stanford University
- Hardware Description Languages for FPGA Design: University of Colorado Boulder
- Software Testing and Automation: University of Minnesota
- Algebra: Elementary to Advanced: Johns Hopkins University
- Álgebra básica: Universidad Nacional Autónoma de México
- Cybersecurity Compliance Framework, Standards & Regulations: IBM
- Precalculus through Data and Modelling: Johns Hopkins University
- Cálculo Diferencial e Integral unidos por el Teorema Fundamental del Cálculo: Tecnológico de Monterrey
