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

Results for "formal verification"


  • C

    Coursera

    Create a Supermarket app using Java OOP

    Skills you'll gain: Object Oriented Programming (OOP), Java, Java Programming, Software Design, Software Testing, Application Development

    4.5
    Rating, 4.5 out of 5 stars
    ·
    112 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Coursera

    GenAI for Paralegals: Streamlining Legal Drafting

    Skills you'll gain: Legal Technology, Legal Research, Responsible AI, Data Ethics, Generative AI, Workflow Management, Operational Efficiency, Prompt Engineering, Automation, Document Management, Ethical Standards And Conduct, Data Security, Verification And Validation, Quality Control

    4.4
    Rating, 4.4 out of 5 stars
    ·
    7 reviews

    Beginner · Course · 1 - 4 Weeks

  • 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
    D

    Duke University

    Rediscovering the Heart of Methodism

    Skills you'll gain: Storytelling, Initiative and Leadership, Leadership, Innovation, Compassion, Education and Training, Professionalism, Adult Education, Formal Learning, Community and Social Work, Community Outreach, Entrepreneurship, Personal Integrity, Visionary, Leadership Development, Growth Mindedness, Social Justice, Teaching, Community Development, Public History

    4.4
    Rating, 4.4 out of 5 stars
    ·
    10 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    S

    Salesforce

    Boosting Productivity through the Tech Stack

    Skills you'll gain: Customer Relationship Management, Salesforce, Sales Prospecting, Sales Development, Sales Enablement, Business Software, Sales Strategy, Sales Pipelines, LinkedIn, Productivity Software, Social Media, Video Production

    4.3
    Rating, 4.3 out of 5 stars
    ·
    36 reviews

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Certified Kubernetes Security Specialist (CKS) Course

    Skills you'll gain: Kubernetes, Role-Based Access Control (RBAC), DevSecOps, Infrastructure Security, Application Security, Hardening, Cloud Security, Network Security, Containerization, Security Testing, Security Controls, Docker (Software), Cyber Security Policies, Secure Coding, Identity and Access Management, Threat Detection, Encryption, Authentications, Verification And Validation

    Advanced · Course · 3 - 6 Months

  • C

    Coursera

    Validating Your Startup Idea with MVP Experiment Canvas

    Skills you'll gain: Target Market, Market Opportunities, Entrepreneurship, Value Propositions, Performance Measurement, Risk Analysis, Business Modeling, Feasibility Studies, Business Strategy, Product Development, Verification And Validation, Product Management, Case Studies, Innovation, FinTech, Leadership

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Data Engineering with Rust

    Skills you'll gain: Data Pipelines, Rust (Programming Language), Restful API, Amazon Web Services, Cloud API, Data Structures, Secure Coding, Data Processing, API Gateway, Cloud Applications, Real Time Data, Data Manipulation, Amazon S3, System Programming, Cryptography, Encryption, Python Programming, Command-Line Interface, Software Testing

    3.4
    Rating, 3.4 out of 5 stars
    ·
    61 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad de Palermo

    Cognición, Pensamiento y Lenguaje

    Skills you'll gain: Psychology, Cognitive Behavioral Therapy, Computational Thinking, Systems Thinking, Human Learning, Language Learning, Oral Comprehension, Scientific Methods, Research, Experimentation, Research Design

    4.7
    Rating, 4.7 out of 5 stars
    ·
    203 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    M

    Meta

    Mobile Development and JavaScript

    Skills you'll gain: Jest (JavaScript Testing Framework), Mobile Development, Web Development Tools, Unit Testing, Javascript, React Native, JSON, Package and Software Management, Computer Programming, Node.JS, Object Oriented Programming (OOP), Software Testing, Functional Design

    4.1
    Rating, 4.1 out of 5 stars
    ·
    131 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Software Architecture for Big Data

    Skills you'll gain: Service Level, Performance Testing, Software Engineering, Data Architecture, Web Applications, Software Architecture, Scalability, Functional Requirement, Distributed Computing, Databases, Microservices, Acceptance Testing, Application Deployment, Predictive Modeling, Application Development, Software Development, Application Performance Management, Software Testing, Development Testing, Big Data

    Build toward a degree

    3.5
    Rating, 3.5 out of 5 stars
    ·
    102 reviews

    Advanced · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    I

    Institut Mines-Télécom

    Blockchain : enjeux et mécanismes cryptographiques

    Skills you'll gain: Blockchain, Cryptography, Cryptographic Protocols, Public Key Cryptography Standards (PKCS), Authentications, FinTech, Distributed Computing, Transaction Processing, Emerging Technologies, Data Structures, Data Integrity, Algorithms, Verification And Validation

    Intermediate · Course · 1 - 3 Months

Searches related to formal verification

introduction to modeling for formal verification
1…313233…62

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

  • Create a Supermarket app using Java OOP: Coursera
  • GenAI for Paralegals: Streamlining Legal Drafting: Coursera
  • Software Engineering: Implementation and Testing: The Hong Kong University of Science and Technology
  • Rediscovering the Heart of Methodism: Duke University
  • Boosting Productivity through the Tech Stack: Salesforce
  • Certified Kubernetes Security Specialist (CKS) Course: Packt
  • Validating Your Startup Idea with MVP Experiment Canvas: Coursera
  • Data Engineering with Rust: Duke University
  • Cognición, Pensamiento y Lenguaje: Universidad de Palermo
  • Mobile Development and JavaScript: Meta

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