• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Formal Modeling Framewoks

Results for "formal modeling framewoks"


  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Fundamentals of Model Checking

    Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Algorithms, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    9 reviews

    Beginner · Specialization · 1 - 3 Months

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

    EDUCBA

    Financial Modeling & Valuation with Excel

    Skills you'll gain: Microsoft Excel, Excel Formulas, Pivot Tables And Charts, Working Capital, Cash Flows, Spreadsheet Software, Income Statement, Financial Analysis, Financial Accounting, Revenue Recognition, Business Valuation, Generally Accepted Accounting Principles (GAAP), Business Reporting, Balance Sheet, Data Visualization, Capital Expenditure, Accounts Receivable, Financial Modeling, Finance, Corporate Finance

    4.7
    Rating, 4.7 out of 5 stars
    ·
    125 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    C

    Coursera

    Technical Publication - Diagramming Standards

    Skills you'll gain: Diagram Design, Technical Documentation, Technical Drawing, Software Design Documents, Unified Modeling Language, Technical Communication, Data Flow Diagrams (DFDs), Document Management, Style Guides, Image Quality, File Management, Software Versioning, Graphic and Visual Design, Web Content Accessibility Guidelines, Version Control, Typography

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Business and Financial Modeling

    Skills you'll gain: Risk Management, Business Modeling, Mathematical Modeling, Data-Driven Decision-Making, Portfolio Management, Forecasting, Regression Analysis, Financial Modeling, Statistical Modeling, Risk Analysis, Predictive Modeling, Presentations, Spreadsheet Software, Microsoft PowerPoint, Investment Management, Financial Statements, Data Modeling, Quantitative Research, Business Analytics, Microsoft Excel

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Large Language Model Operations (LLMOps)

    Skills you'll gain: Prompt Engineering, Databricks, Large Language Modeling, Model Deployment, LLM Application, Generative AI, Performance Analysis, Retrieval-Augmented Generation, Apache Airflow, Workflow Management, Hugging Face, Amazon Bedrock, Vector Databases, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, MLOps (Machine Learning Operations), OpenAI API, Scalability

    4.4
    Rating, 4.4 out of 5 stars
    ·
    273 reviews

    Beginner · Specialization · 3 - 6 Months

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

    EDUCBA

    ZBrush 3D Sculpting & Modeling Mastery

    Skills you'll gain: 3D Assets, 3D Modeling, Computer Graphics, Animation and Game Design, Video Game Development, Visualization (Computer Graphics), Graphical Tools, Computer Graphic Techniques, User Interface (UI), Data Import/Export, Graphics Software, File Management

    Beginner · Specialization · 1 - 3 Months

What brings you to Coursera today?

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

    EDUCBA

    Credit Risk Modeling & Analysis Mastery

    Skills you'll gain: Credit Risk, Financial Statement Analysis, Risk Modeling, Working Capital, Financial Analysis, Financial Modeling, Portfolio Risk, Lending and Underwriting, Financial Data, Risk Management, Risk Analysis, Bank Regulations, Analysis, Cash Flows, Income Statement, Balance Sheet, Regulatory Compliance, Business Metrics, Financial Statements, Bankruptcies

    4.8
    Rating, 4.8 out of 5 stars
    ·
    34 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Quantitative Finance & Risk Modeling

    Skills you'll gain: Financial Modeling, Descriptive Statistics, Data Literacy, Financial Forecasting, Reconciliation, Financial Analysis, A/B Testing, Portfolio Risk, Model Evaluation, Data Cleansing, Decision Tree Learning, Regression Analysis, Exploratory Data Analysis, Predictive Modeling, Data Analysis, Risk Analysis, Risk Management, R Programming, Statistical Analysis, Machine Learning

    Intermediate · Specialization · 3 - 6 Months

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

    EDUCBA

    3DS Max Mastery: Character Modeling & Animation

    Skills you'll gain: 3D Modeling, 3D Assets, Animation and Game Design, Computer Graphics, Visualization (Computer Graphics), Autodesk, Animations, Computer Graphic Techniques, Virtual Environment, Adobe Photoshop, Photo Editing, Color Matching, Image Quality, Color Theory

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Introduction to Modeling for Formal Verification

    Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Software Systems, Theoretical Computer Science, Simulations, Programming Principles, Graph Theory, Model Evaluation, Hardware Architecture, Algorithms, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Secure Your AI: Threat Modeling

    Skills you'll gain: AI Security, Threat Modeling, Security Engineering, Security Requirements Analysis, Threat Management, Data Flow Diagrams (DFDs), Threat Detection, Data Security, Key Management, Risk Analysis, Technical Documentation, Cloud Services, Technical Communication

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic

    Beginner · Course · 1 - 4 Weeks

1234…291

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

  • Fundamentals of Model Checking: University of Colorado Boulder
  • Financial Modeling & Valuation with Excel: EDUCBA
  • Technical Publication - Diagramming Standards: Coursera
  • Business and Financial Modeling: University of Pennsylvania
  • Large Language Model Operations (LLMOps): Duke University
  • ZBrush 3D Sculpting & Modeling Mastery: EDUCBA
  • Credit Risk Modeling & Analysis Mastery: EDUCBA
  • Quantitative Finance & Risk Modeling: Coursera
  • 3DS Max Mastery: Character Modeling & Animation: EDUCBA
  • Introduction to Modeling for Formal Verification: University of Colorado Boulder

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