• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Model Checking

Results for "model checking"


  • C

    Coursera

    Classify, Document & Validate Healthcare Data

    Skills you'll gain: Health Information Management, Electronic Medical Record, Medical Privacy, Clinical Data Management, Medical Records, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Health Informatics, Data Validation, Data Dictionary, Data Quality, Clinical Documentation, Health Care, Metadata Management, Data Governance, Data Security, Taxonomy, Data Integrity, Regulatory Compliance

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Advanced Statistical Modeling Using SPSS

    Skills you'll gain: Descriptive Analytics, SPSS, Logistic Regression, SPSS (Software), Regression Analysis, Correlation Analysis, Data Analysis, Statistical Modeling, Exploratory Data Analysis, Data Storytelling, Statistical Analysis, Predictive Modeling, Statistical Visualization, Scatter Plots, Probability & Statistics, Data Preprocessing, Data Visualization Software

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Design and Build a Student Score Card System with SQL Server

    Skills you'll gain: Database Design, Relational Databases, Database Application, Microsoft SQL Servers, Data Integrity, Databases, Database Management, Data Modeling, Visual Basic (Programming Language), Application Development, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Technical Analysis & Market Models for Trading

    Skills you'll gain: Technical Analysis, Financial Trading, Financial Market, Portfolio Risk, Derivatives, Market Analysis, Statistical Analysis, Market Dynamics, Market Data, Risk Analysis, Data Validation, Trend Analysis, Performance Analysis, Probability Distribution, Behavioral Economics, Model Evaluation, Consolidation, Risk Management

    5
    Rating, 5 out of 5 stars
    ·
    6 reviews

    Beginner · Specialization · 1 - 3 Months

  • U

    Universitat Politècnica de València

    IT Fundamentals for Business Profiles: Hardware

    Skills you'll gain: Computer Hardware, Computer Architecture, Networking Hardware, Hardware Architecture, Computer Systems, Information Technology, Data Storage, Facility Repair And Maintenance, Computer Networking, Peripheral Devices, Wireless Networks, Computer Security

    Intermediate · Course · 1 - 3 Months

  • U

    University of Illinois Urbana-Champaign

    3D Printing and Additive Manufacturing

    Skills you'll gain: 3D Modeling, Design Thinking, Autodesk, Design Software, 3D Assets, Creative Thinking, Intellectual Property, Conceptual Design, Hardware Troubleshooting, Computer-Aided Design, Visualization (Computer Graphics), Product Design, Computer Hardware, Innovation, Solution Design, Manufacturing Processes, Computer Graphics, Prototyping, Emerging Technologies, Business Transformation

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

    Beginner · Specialization · 3 - 6 Months

  • W

    Whizlabs

    Fundamentals of AWS AI and ML Solutions

    Skills you'll gain: Model Deployment, AWS SageMaker, MLOps (Machine Learning Operations), Image Analysis, Natural Language Processing, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, Deep Learning, AI Personalization, Model Evaluation, Applied Machine Learning, Computer Vision, Machine Learning, Feature Engineering, Text Mining, Data Wrangling

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Master XPath Fundamentals for XML Navigation

    Skills you'll gain: Selenium (Software), Software Testing, Test Automation

    Beginner · Course · 1 - 4 Weeks

  • U

    University of California San Diego

    Introduction to Big Data

    Skills you'll gain: Big Data, Apache Hadoop, Data Processing, Scalability, Data Science, Distributed Computing, Unstructured Data, Data Analysis

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

    Mixed · Course · 1 - 3 Months

  • E

    EDUCBA

    Develop a Swipe-Match iOS App Using Swift

    Skills you'll gain: User Interface (UI) Design, Human Computer Interaction, Interactive Design, Usability, Software Design, Application Development, Software Architecture

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build Data-Driven C# Desktop Applications with SQL Server

    Skills you'll gain: C# (Programming Language), Microsoft SQL Servers, Application Development, Data Validation, Application Design, Database Application, Business Reporting, SQL, Data Access, User Interface (UI), Issue Tracking, Data Integrity, User Interface (UI) Design, Data Management

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Full-Stack AI and Mastering AI Agents Bootcamp

    Skills you'll gain: Generative AI Agents, Large Language Modeling, OpenAI, AI Workflows, Prompt Engineering, Document Management, Vector Databases, Software Installation

    Intermediate · Course · 1 - 3 Months

Searches related to model checking

temporal logic model checking
1…333435…370

In summary, here are 10 of our most popular model checking courses

  • Classify, Document & Validate Healthcare Data: Coursera
  • Apply Advanced Statistical Modeling Using SPSS : EDUCBA
  • Design and Build a Student Score Card System with SQL Server: EDUCBA
  • Apply Technical Analysis & Market Models for Trading: EDUCBA
  • IT Fundamentals for Business Profiles: Hardware: Universitat Politècnica de València
  • 3D Printing and Additive Manufacturing: University of Illinois Urbana-Champaign
  • Fundamentals of AWS AI and ML Solutions: Whizlabs
  • Master XPath Fundamentals for XML Navigation: EDUCBA
  • Introduction to Big Data: University of California San Diego
  • Develop a Swipe-Match iOS App Using Swift: EDUCBA

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

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

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
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok