Results for "quantitative model checking"
28DIGITAL
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Process Modeling, Probability, Algorithms, Probability Distribution, Logical Reasoning
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, Predictive Modeling, Financial Forecasting, Microsoft Excel, Corporate Finance
Skills you'll gain: Data Validation, Data Quality, Data Governance, Data Integrity, Data Pipelines, Verification And Validation, Test Automation, SQL, Failure Analysis, Scalability, Root Cause Analysis, Metadata Management, Analytical Skills, Statistical Analysis
University of Pennsylvania
Skills you'll gain: Business Modeling, Mathematical Modeling, Regression Analysis, Statistical Modeling, Risk Analysis, Data Modeling, Business Analysis, Predictive Modeling, Forecasting, Predictive Analytics, Statistical Methods, Simulation and Simulation Software, Probability, Model Optimization, Logistic Regression, Probability Distribution, Vocabulary
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning
What brings you to Coursera today?
Skills you'll gain: Financial Modeling, Microsoft Excel, Financial Forecasting, Excel Formulas, Cash Flow Forecasting, Auditing, Business Modeling, Risk Analysis, Financial Analysis, Spreadsheet Software, Cash Flows, Business Valuation, Model Evaluation, Dependency Analysis, Verification And Validation, Quality Assurance
Skills you'll gain: Anomaly Detection, MLOps (Machine Learning Operations), AI Security, Software Engineering, Model Training, DevOps, Software Quality Assurance, Maintainability, CI/CD, Model Deployment, Performance Tuning, Security Testing, Model Evaluation, Secure Coding, Performance Testing, Continuous Monitoring, Integration Testing, Sampling (Statistics), Data Validation, Python Programming
Skills you'll gain: MLOps (Machine Learning Operations), LLM Application, AI Security, Test Automation, Test Script Development, Test Driven Development (TDD), Unit Testing, CI/CD, Continuous Integration, Software Testing, Testability, Large Language Modeling, Model Deployment, Test Case, Responsible AI, Security Testing, AI Workflows, Python Programming, Statistical Analysis, SQL
Skills you'll gain: Data Preprocessing, Data Cleansing, Data Pipelines, Feature Engineering, Data Quality, MLOps (Machine Learning Operations), Extract, Transform, Load, Data Transformation, Data Integration, Dataflow, Development Environment, Data Wrangling, Apache Airflow, Package and Software Management, Git (Version Control System), Quality Assurance, Exploratory Data Analysis, Cost Management, Resource Utilization, Virtual Environment
Pragmatic AI Labs
Skills you'll gain: Retrieval-Augmented Generation, Amazon Bedrock, LLM Application, AWS SageMaker, Token Optimization, Large Language Modeling, Amazon Web Services, No-Code Development, Prompt Engineering, Generative AI, AI Orchestration, Model Deployment, Generative AI Agents, Package and Software Management, Model Training, Rust (Programming Language), Model Optimization, Performance Tuning, Data Wrangling
Skills you'll gain: Model Context Protocol, Load Balancing, Containerization, Docker (Software), Model Deployment, Restful API, API Design, Application Programming Interface (API), Authentications, Application Deployment, Tool Calling, Scalability, Performance Tuning, Data Validation
In summary, here are 10 of our most popular quantitative model checking courses
- Quantitative Model Checking:Â 28DIGITAL
- Software QA & Test Automation Engineering:Â Coursera
- Finance & Quantitative Modeling for Analysts:Â University of Pennsylvania
- Automate, Analyze, and Validate Data Quality:Â Coursera
- Fundamentals of Quantitative Modeling:Â University of Pennsylvania
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Build and Evaluate Robust Financial Models:Â Coursera
- Validating and Safeguarding Production AI:Â Coursera
- Testing and Refining LLM Applications:Â Coursera
- Data Engineering & Pipeline Reliability for Machine Learning:Â Coursera
