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

    Packt

    Networking Fundamentals & Network Access

    Skills you'll gain: Network Administration, Virtual Local Area Network (VLAN), General Networking, Network Architecture, TCP/IP, Local Area Networks, Computer Networking, Command-Line Interface, Network Infrastructure, Wireless Networks, Network Security, Network Switches, OSI Models, Dynamic Host Configuration Protocol (DHCP), Network Routing, Network Protocols

    4.3
    Rating, 4.3 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    M

    Macquarie University

    Compétences Excel professionnelles : Intermédiaire II

    Skills you'll gain: Microsoft Excel, Excel Macros, Excel Formulas, Data Validation, Data Modeling, Spreadsheet Software, Verification And Validation, Financial Modeling, Data Management, Automation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Salesforce

    Practical Guide to Navigating Professional Relationships

    Skills you'll gain: Verbal Communication Skills, Writing, Enthusiasm, Cultural Responsiveness, Cultural Diversity, Active Listening, Empathy, Business Communication, Professionalism, Professional Development, Interpersonal Communications, Communication, Relationship Building, Public Speaking, Constructive Feedback, Branding, Smart Goals, Proactivity, Growth Mindedness

    4.7
    Rating, 4.7 out of 5 stars
    ·
    62 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Salesforce

    Conversational Selling Playbook for SDRs

    Skills you'll gain: Overcoming Objections, Prospecting and Qualification, Lead Generation, Sales Development, Sales Prospecting, Cold Calling, Emotional Intelligence, Consultative Selling, Phone Sales, Selling Techniques, Sales, Sales Strategy, Rapport Building, Empathy, Active Listening, Value Propositions, Persona Development

    4.8
    Rating, 4.8 out of 5 stars
    ·
    45 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Principles of Computing (Part 2)

    Skills you'll gain: Computational Thinking, Programming Principles, Algorithms, Data Structures, Theoretical Computer Science, Computer Programming, Python Programming, Computer Science, Game Theory, Mathematical Modeling, Software Testing

    4.8
    Rating, 4.8 out of 5 stars
    ·
    365 reviews

    Intermediate · Course · 1 - 4 Weeks

  • 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: Free Trial
    Free Trial
    L

    LearnKartS

    Core Java for Complete Beginners

    Skills you'll gain: JUnit, Java Programming, Object Oriented Programming (OOP), Object Oriented Design, Java, Unit Testing, Debugging, Maintainability, Software Development, Secure Coding, Software Testing, Programming Principles, Computer Programming, Test Case, Application Development, Authentications, Application Security, Android Development, Cryptography, Software Design Patterns

    4.6
    Rating, 4.6 out of 5 stars
    ·
    80 reviews

    Beginner · Specialization · 1 - 3 Months

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

    University of Colorado Boulder

    Measurement Systems Analysis

    Skills you'll gain: Correlation Analysis, Statistical Visualization, Data Visualization, Process Capability, Descriptive Statistics, Statistical Analysis, Quantitative Research, Probability & Statistics, Data Analysis, Analysis, R (Software), Exploratory Data Analysis, Systems Of Measurement, Data Quality, R Programming, Regression Analysis, Statistical Methods, Verification And Validation, Continuous Monitoring, Statistical Hypothesis Testing

    4.2
    Rating, 4.2 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    Gestión del análisis de datos

    Skills you'll gain: Exploratory Data Analysis, Data-Driven Decision-Making, Data Analysis, Data Management, Analytical Skills, Statistical Inference, Team Management, Statistical Modeling, Strategic Decision-Making, Data Presentation, Statistics, Communication

    4.6
    Rating, 4.6 out of 5 stars
    ·
    103 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Intimacy of Creativity: Entering the Minds of Composers

    Skills you'll gain: Musical Composition, Music Theory, Music, Music History, Classical Music, Creativity

    4.6
    Rating, 4.6 out of 5 stars
    ·
    78 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    CompTIA Security+ Certification (SY0-701): The Total Course

    Skills you'll gain: Incident Response, Network Security, Intrusion Detection and Prevention, Computer Security Incident Management, Command-Line Interface, Cryptography, Open Web Application Security Project (OWASP), Cyber Threat Intelligence, Application Security, Secure Coding, Cybersecurity, Encryption, Information Systems Security, Vulnerability Assessments, Metasploit, Risk Management Framework, Multi-Factor Authentication, Cloud Security, Penetration Testing, Risk Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    40 reviews

    Intermediate · Specialization · 3 - 6 Months

Searches related to formal verification

introduction to modeling for formal verification
1…323334…62

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

  • Networking Fundamentals & Network Access: Packt
  • Compétences Excel professionnelles : Intermédiaire II: Macquarie University
  • Practical Guide to Navigating Professional Relationships: Salesforce
  • Conversational Selling Playbook for SDRs: Salesforce
  • Principles of Computing (Part 2): Rice University
  • Software Architecture for Big Data: University of Colorado Boulder
  • Core Java for Complete Beginners: LearnKartS
  • GenAI for Paralegals: Streamlining Legal Drafting: Coursera
  • Measurement Systems Analysis: University of Colorado Boulder
  • Gestión del análisis de datos: Johns Hopkins University

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