Results for "quantitative model checking"
28DIGITAL
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Logical Reasoning
University of Pennsylvania
Skills you'll gain: Business Modeling, Mathematical Modeling, Regression Analysis, Statistical Modeling, Risk Analysis, Forecasting, Predictive Analytics, Business Analytics, Simulation and Simulation Software, Probability, Logistic Regression, Vocabulary
Skills you'll gain: Selenium (Software), Postman API Platform, JUnit, Test Automation, API Testing, Software Quality Assurance, Test Tools, Test Script Development, Quality Assurance, Unit Testing, Software Testing, Continuous Integration, Automation, Data Validation, Performance Testing, Test Case, Agile Methodology, Integration Testing, Debugging, Javascript
University of Pennsylvania
Skills you'll gain: Financial Reporting, Return On Investment, Financial Acumen, Financial Data, Capital Budgeting, Financial Statements, Business Modeling, Mathematical Modeling, Finance, Regression Analysis, Financial Modeling, Statistical Modeling, Income Statement, Risk Analysis, Financial Analysis, Spreadsheet Software, Capital Expenditure, Excel Formulas, Microsoft Excel, Corporate Finance
Skills you'll gain: Financial Modeling, Microsoft Excel, Financial Forecasting, Excel Formulas, Cash Flow Forecasting, Auditing, Business Modeling, Data Modeling, Risk Analysis, Financial Analysis, Spreadsheet Software, Business Analytics, Cash Flows, Business Valuation, Verification And Validation, Quality Assurance
Skills you'll gain: Model Context Protocol, Anthropic Claude, AI Workflows, Tool Calling, Program Development, Systems Architecture, Servers, Debugging, JSON, Development Environment, Document Management
What brings you to Coursera today?
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
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Data Analysis, Computational Logic, Engineering Calculations, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Analytical Skills, Bayesian Statistics, Differential Equations, Programming Principles, Statistical Inference, Theoretical Computer Science, Numerical Analysis, Descriptive Analytics, Applied Mathematics
University of Colorado Boulder
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, Pseudocode, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Logical Reasoning
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra
Pragmatic AI Labs
Skills you'll gain: Hugging Face, Large Language Modeling, Transfer Learning, Rust (Programming Language), Data Validation, Model Deployment, Verification And Validation, Performance Tuning, System Requirements, Model Evaluation, Hardware Architecture, Deep Learning, Data Quality
Pragmatic AI Labs
Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Hugging Face, Rust (Programming Language), Cloud Deployment, Application Deployment, CI/CD, Performance Tuning, Large Language Modeling, Performance Testing, Cross Platform Development, Cryptography
In summary, here are 10 of our most popular quantitative model checking courses
- Quantitative Model Checking: 28DIGITAL
- Fundamentals of Quantitative Modeling: University of Pennsylvania
- Software QA & Test Automation Engineering: Coursera
- Finance & Quantitative Modeling for Analysts: University of Pennsylvania
- Build and Evaluate Robust Financial Models: Coursera
- Introduction to Model Context Protocol: Anthropic
- Quantitative Finance & Risk Modeling: Coursera
- Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
- Fundamentals of Model Checking: University of Colorado Boulder
- Basic Engineering Mathematics: Birla Institute of Technology & Science, Pilani
