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

Results for "formal verification"


  • Status: Preview
    Preview
    U

    UNSW Sydney (The University of New South Wales)

    Requirements Writing

    Skills you'll gain: Concision, Technical Writing, Requirements Management, Requirements Analysis, Business Requirements, Functional Requirement, Writing, User Requirements Documents, System Requirements, Product Requirements, Proofreading, Editing, Grammar, Style Guides, Verification And Validation, Systems Engineering

    4.6
    Rating, 4.6 out of 5 stars
    ·
    352 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    S

    Sungkyunkwan University

    A Bridge to the World: Korean Language for Beginners Ⅰ

    Skills you'll gain: Language Learning, Oral Comprehension, Language Competency, Oral Expression, Vocabulary, Grammar

    4.8
    Rating, 4.8 out of 5 stars
    ·
    593 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Negotiating Work Flexibility

    Skills you'll gain: Collaboration, Business Communication, Workforce Management

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Michigan

    The Finite Element Method for Problems in Physics

    Skills you'll gain: Finite Element Methods, Engineering Analysis, Numerical Analysis, Mathematical Modeling, Advanced Mathematics, C++ (Programming Language), Object Oriented Programming (OOP)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    560 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Effective Programming in Scala

    Skills you'll gain: Scala Programming, Data Validation, Object Oriented Programming (OOP), Build Tools, Verification And Validation, Debugging, Software Design Patterns, Development Environment, Business Logic, Software Testing, Unit Testing, Data Structures, Data Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    177 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universitat Politècnica de València

    Cybersecurity basics for everyone

    Skills you'll gain: Cybersecurity, Cyber Attacks, Computer Security Awareness Training, Distributed Denial-Of-Service (DDoS) Attacks, Encryption, Security Awareness, Data Security, Personally Identifiable Information, Email Security, Cyber Risk, Malware Protection, General Data Protection Regulation (GDPR), Information Privacy, Multi-Factor Authentication, Identity and Access Management

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    MuleSoft for Salesforce Developers

    Skills you'll gain: API Design, Restful API, Application Programming Interface (API), Data Mapping, Application Deployment, Scripting, Salesforce, Robotic Process Automation, Business Process Automation, Software Testing, Development Testing, Data Integration, Unit Testing, Cloud API, Middleware, Cloud-Based Integration, Application Performance Management, Architectural Design, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML)

    Intermediate · Course · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Microsoft Getting Started with ASP.NET Core

    Skills you'll gain: ASP.NET, .NET Framework, Responsive Web Design, API Design, Restful API, Middleware, Data Migration, Configuration Management, Application Deployment, Data Validation, HTML and CSS, Database Application, Software Testing, C# (Programming Language), Postman API Platform, Full-Stack Web Development, Microsoft Azure, Web Applications, Web Development, Javascript and jQuery

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Snake Game in Python with Pygame: Build & Customize

    Skills you'll gain: Video Game Development, Game Design, Python Programming, Debugging, Development Testing, Animation and Game Design, Software Testing, Programming Principles, Event-Driven Programming, Business Logic, User Interface (UI), User Interface (UI) Design, Development Environment

    Mixed · Course · 1 - 4 Weeks

  • G

    Google - Spectrum Sharing

    Become a CBRS Certified Professional Installer by Google

    Skills you'll gain: Public Key Infrastructure, Wireless Networks, Technical Communication, Key Management, Communication Systems, Infrastructure Security, Network Infrastructure, Global Positioning Systems, System Implementation, System Configuration, Telecommunications, Geospatial Information and Technology, Record Keeping, Verification And Validation, Data Entry, Data Validation

    4.5
    Rating, 4.5 out of 5 stars
    ·
    219 reviews

    Mixed · Course · 1 - 3 Months

  • Status: Preview
    Preview
    M

    Michigan State University

    Forest Carbon Credits and Initiatives

    Skills you'll gain: Project Design, Climate Change Mitigation, Sustainability Reporting, Project Finance, Verification And Validation, Environment and Resource Management, Continuous Monitoring, Sustainability Standards, Project Management, Feasibility Studies, Cost Benefit Analysis, Market Dynamics

    4.7
    Rating, 4.7 out of 5 stars
    ·
    34 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The State University of New York

    Practical Time Series Analysis

    Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, R Programming, Statistical Analysis, Data Analysis, Data Visualization, Mathematical Modeling, Statistical Modeling, Predictive Modeling, Correlation Analysis, Probability & Statistics, Descriptive Statistics, Statistical Inference, Software Installation

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.7K reviews

    Intermediate · Course · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…111213…62

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

  • Requirements Writing: UNSW Sydney (The University of New South Wales)
  • A Bridge to the World: Korean Language for Beginners Ⅰ: Sungkyunkwan University
  • Negotiating Work Flexibility: Packt
  • The Finite Element Method for Problems in Physics: University of Michigan
  • Effective Programming in Scala: École Polytechnique Fédérale de Lausanne
  • Cybersecurity basics for everyone: Universitat Politècnica de València
  • MuleSoft for Salesforce Developers: Packt
  • Microsoft Getting Started with ASP.NET Core: Microsoft
  • Snake Game in Python with Pygame: Build & Customize: EDUCBA
  • Become a CBRS Certified Professional Installer by Google: Google - Spectrum Sharing

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