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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    M

    Macquarie University

    Excel Fundamentals for Data Analysis

    Skills you'll gain: Excel Formulas, Microsoft Excel, Data Cleansing, Data Manipulation, Spreadsheet Software, Data Transformation, Data Validation, Data Analysis, Pivot Tables And Charts, Automation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    4.2K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Blazor – Security, Payments & Deployment

    Skills you'll gain: Microsoft Azure, Cloud Applications, Application Deployment, Application Programming Interface (API), Cloud API, Authentications, Payment Systems, Authorization (Computing), Role-Based Access Control (RBAC), UI Components, Identity and Access Management, Email Automation, Database Management, Transaction Processing, User Interface (UI), Data Validation

    Advanced · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Web Applications for Everybody

    Skills you'll gain: Database Design, SQL, MySQL, PHP (Scripting Language), Relational Databases, JSON, jQuery, Hypertext Markup Language (HTML), Javascript and jQuery, Ajax, Databases, Data Modeling, Database Application, Database Development, Debugging, Web Applications, Object Oriented Programming (OOP), Application Development, Web Development, Javascript

    4.7
    Rating, 4.7 out of 5 stars
    ·
    9.3K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Columbia University

    Construction Project Management

    Skills you'll gain: Construction Management, Construction, Building Information Modeling, Environment Health And Safety, Project Schedules, Lean Methodologies, Work Breakdown Structure, Project Management, Engineering Management, Project Management Life Cycle, Sustainability Standards, Contract Management, Project Scoping, Project Planning, Risk Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    7.3K reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Advanced Tinkercad 3D Design and Printing Techniques

    Skills you'll gain: Prototyping, 3D Modeling, 3D Assets, Design Strategies, Engineering Design Process, Computer-Aided Design, Manufacturing Processes, Technical Design, Design Software, Functional Design, Design, Materials science, Typography, Digital Design

    Advanced · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    M

    Meta

    Meta Marketing Science Certification Prep

    Skills you'll gain: Marketing Analytics, Bayesian Statistics, Descriptive Statistics, Marketing Effectiveness, Statistical Hypothesis Testing, A/B Testing, Target Audience, Marketing Strategies, Marketing Planning, Statistical Inference, Sampling (Statistics), Data Collection, Data Modeling, Statistics, Advertising Campaigns, Campaign Management, Data Presentation, Marketing, Analytics, Web Analytics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.9K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Kitbashing and Prop Creation

    Skills you'll gain: 3D Modeling, Design, Simulations, Aesthetics

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    3D Printing and Additive Manufacturing

    Skills you'll gain: 3D Modeling, Design Thinking, Autodesk, Design Software, Intellectual Property, Hardware Troubleshooting, Computer-Aided Design, Technical Drawing, Visualization (Computer Graphics), Product Design, Computer Hardware, Design, Innovation, Prototyping, Emerging Technologies, Digital Design, Product Development, Industrial Design, Manufacturing Processes, Mechanical Design

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

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Packt

    Finalizing, Rendering, and Presenting Your Victorian Scene

    Skills you'll gain: 3D Modeling, 3D Assets, Computer Graphics, Visualization (Computer Graphics), Virtual Environment

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Python 3 Programming

    Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Python Programming, Data Import/Export, Restful API, Image Analysis, Data Manipulation, Jupyter, Computer Programming, Data Structures, Software Engineering, File Management

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23K reviews

    Beginner · Specialization · 3 - 6 Months

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

    Edureka

    Building LLMs with Hugging Face and LangChain

    Skills you'll gain: LangChain, LLM Application, LangGraph, Large Language Modeling, Generative AI, Generative Model Architectures, Cloud-Based Integration, CI/CD, Cloud API, Data Integration, Artificial Intelligence, Containerization, Restful API, Open Source Technology, MLOps (Machine Learning Operations), Cloud Development, Continuous Integration, Amazon Web Services, Docker (Software), Python Programming

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Everyday Excel

    Skills you'll gain: Data Import/Export, Microsoft Excel, Regression Analysis, Data Validation, Data Visualization, Spreadsheet Software, Data Management, Excel Macros, Data Cleansing, Excel Formulas, Financial Analysis, Productivity Software, Predictive Modeling, Data Sharing, Financial Modeling, Analysis, Microsoft Word, Mathematical Modeling, Complex Problem Solving, Problem Solving

    4.7
    Rating, 4.7 out of 5 stars
    ·
    4K reviews

    Beginner · Specialization · 3 - 6 Months

Searches related to model checking

model checking with sat and smt
quantitative model checking
automated reasoning: symbolic model checking
temporal logic model checking
1…222324…256

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

  • Excel Fundamentals for Data Analysis: Macquarie University
  • Advanced Blazor – Security, Payments & Deployment: Packt
  • Web Applications for Everybody: University of Michigan
  • Construction Project Management: Columbia University
  • Advanced Tinkercad 3D Design and Printing Techniques: Packt
  • Meta Marketing Science Certification Prep: Meta
  • Advanced Kitbashing and Prop Creation: Packt
  • 3D Printing and Additive Manufacturing: University of Illinois Urbana-Champaign
  • Finalizing, Rendering, and Presenting Your Victorian Scene: Packt
  • Python 3 Programming: University of Michigan

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