• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
Log In
Join for Free
  • Browse
  • Formal Verification

Results for "formal verification"


  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Software Engineering: Implementation and Testing

    Skills you'll gain: Acceptance Testing, Software Development Methodologies, Configuration Management, Debugging, Software Development Life Cycle, Software Testing, Software Engineering, Unified Modeling Language, Integration Testing, User Acceptance Testing (UAT), Unit Testing, System Implementation, Secure Coding, Test Case, Requirements Analysis, Agile Methodology, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    125 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Model Diagnostics and Remedial Measures

    Skills you'll gain: Data Validation, Regression Analysis, Exploratory Data Analysis, Verification And Validation, Plot (Graphics), Mathematical Modeling, Statistical Methods, Statistical Modeling, Data Transformation, Predictive Modeling, Correlation Analysis, Statistical Analysis, R Programming, Statistical Inference, Linear Algebra

    Build toward a degree

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Playwright Python and Pytest for Web Automation Testing

    Skills you'll gain: Continuous Integration, Test Automation, Authentications, Software Testing, Unit Testing, Behavior-Driven Development, Application Programming Interface (API), Browser Compatibility, Test Case, GitHub, User Interface (UI), Debugging

    4.1
    Rating, 4.1 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    SOLIDWORKS Assemblies and Exam Level Part Modeling

    Skills you'll gain: SolidWorks (CAD), Assembly Drawing, 3D Modeling, Computer-Aided Design, Mechanical Design, Engineering Drawings

    4.6
    Rating, 4.6 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Systems Acquisition, Development and Implementation

    Skills you'll gain: Systems Development Life Cycle, Software Development Life Cycle, Systems Development, Software Development Methodologies, Change Management, Project Management, System Implementation, Compliance Auditing, Software Testing, Auditing, Development Testing, Information Technology, Verification And Validation, Project Management Office (PMO), Internal Controls, Governance, Agile Methodology, Software Development, Data Integrity, Risk Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Evaluating Large Language Model Outputs: A Practical Guide

    Skills you'll gain: Responsible AI, LLM Application, Large Language Modeling, Program Evaluation, Generative AI, Data Ethics, Google Cloud Platform, Quality Assessment, Verification And Validation, Image Quality, User Feedback, Human Factors, Performance Metric

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    API Testing a real web application via Postman

    Skills you'll gain: Postman API Platform, OAuth, Application Programming Interface (API), Performance Testing, Security Testing, Software Testing, Restful API, Authentications, Web Development Tools, Application Security

    4.4
    Rating, 4.4 out of 5 stars
    ·
    69 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    R

    Radio y Televisión Española

    Búsqueda avanzada y verificación de información

    Skills you'll gain: Research, Investigation, Social Network Analysis, Trend Analysis, Verification And Validation, Facebook, Data Validation, Content Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Codio

    Software Engineering Tools and Practices

    Skills you'll gain: Jest (JavaScript Testing Framework), Model View Controller, CI/CD, User Acceptance Testing (UAT), Continuous Integration, Cucumber (Software), Postman API Platform, Ansible, Software Testing, OAuth, Web Development Tools, Behavior-Driven Development, Restful API, Application Performance Management, Prometheus (Software), Authentications, Package and Software Management, Cloud API, Javascript, Software Engineering

    4
    Rating, 4 out of 5 stars
    ·
    55 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    B

    Board Infinity

    Introduction to .NET Core

    Skills you'll gain: ASP.NET, .NET Framework, Model View Controller, Web Applications, Middleware, Debugging, Application Deployment, Application Development, Development Environment, Software Testing, Microsoft Development Tools, Cross Platform Development, Software Architecture, Network Routing, Open Source Technology, Command-Line Interface

    4
    Rating, 4 out of 5 stars
    ·
    78 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Estimating Fundamentals

    Skills you'll gain: Construction Estimating, Risk Management, Cost Estimation, Project Estimation, Construction Management, Estimation, Bidding, Construction, Cost Management, Verification And Validation, Workflow Management, Business Ethics, Budgeting, Project Management, Engineering Plans And Specifications

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    .NET Core Mastery: Advanced Techniques for Exp Developers

    Skills you'll gain: Load Balancing, ASP.NET, Test Driven Development (TDD), Debugging, C# (Programming Language), Software Testing, Scalability, Performance Testing, Restful API, Unit Testing, Microservices, .NET Framework, Object-Relational Mapping, Software Architecture, Web Applications, User Accounts, Single Sign-On (SSO), Object Oriented Design, Distributed Computing, Redis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    238 reviews

    Intermediate · Specialization · 3 - 6 Months

Searches related to formal verification

introduction to modeling for formal verification
1…282930…62

In summary, here are 10 of our most popular formal verification courses

  • Software Engineering: Implementation and Testing: The Hong Kong University of Science and Technology
  • Model Diagnostics and Remedial Measures: Illinois Tech
  • Playwright Python and Pytest for Web Automation Testing: Packt
  • SOLIDWORKS Assemblies and Exam Level Part Modeling: Dassault Systèmes
  • Systems Acquisition, Development and Implementation: Packt
  • Evaluating Large Language Model Outputs: A Practical Guide: Coursera
  • API Testing a real web application via Postman: Coursera
  • Búsqueda avanzada y verificación de información: Radio y Televisión Española
  • Software Engineering Tools and Practices: Codio
  • Introduction to .NET Core: Board Infinity

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok