Results for "model checking"
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Functional Testing, Theoretical Computer Science, Systems Design, Functional Specification, Process Modeling, Communication Systems, Algorithms
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: Model Context Protocol, Tool Calling, Prompt Engineering, LLM Application, Anthropic Claude, Large Language Modeling, AI Integrations, AI Workflows, Cloud Deployment, Application Deployment, Servers, Development Environment, SQL, Databases, Development Testing, Data Integration, Debugging
University of Colorado Boulder
Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Computer Engineering, Communication Systems, Software Systems, Process Modeling, Theoretical Computer Science, Graph Theory
Skills you'll gain: Model Context Protocol, AI Integrations, Anthropic Claude, AI Workflows, Tool Calling, Prompt Engineering, Program Development, Test Tools, Servers, Debugging, Document Management
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Software Engineering Tools, Test Script Development, Test Tools, Computer Programming Tools, White-Box Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Automation, Functional Requirement, Application Security, Vulnerability Scanning
What brings you to Coursera today?
Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Dataflow, Mathematical Theory & Analysis, Performance Testing, Process Modeling, Embedded Systems, Model Optimization
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
Pragmatic AI Labs
Skills you'll gain: Responsible AI, Model Evaluation, AI Integrations, Model Deployment, GitHub, Application Programming Interface (API), AI Enablement, Generative AI, Development Environment, API Design, LLM Application, Cloud Development, Microsoft Azure, Prompt Engineering, Capacity Management, Scalability, Authentications, Data Validation
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: MLOps (Machine Learning Operations), Model Evaluation, Regression Testing, Unit Testing, Test Script Development, Test Case, System Testing, Test Automation, Software Testing, Integration Testing, Verification And Validation, Anomaly Detection, Data Integrity, Continuous Monitoring
Skills you'll gain: Financial Modeling, Model Evaluation, Financial Statements, Financial Statement Analysis, Excel Formulas, Financial Forecasting, Financial Accounting, Financial Reporting, Balance Sheet, Auditing, Microsoft Excel, Performance Stress Testing, Financial Auditing, Income Statement, Finance, Financial Data, Data Validation, Financial Analysis, Spreadsheet Software, Cash Flows
In summary, here are 10 of our most popular model checking courses
- Temporal Logic Model Checking : University of Colorado Boulder
- Quantitative Model Checking: 28DIGITAL
- Model Context Protocol – Fundamentals to Advanced Use: Packt
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
- Introduction to Model Context Protocol: Anthropic
- Introduction to Automated Analysis: University of Minnesota
- Quantitative Formal Modeling and Worst-Case Performance Analysis: 28DIGITAL
- Fundamentals of Model Checking: University of Colorado Boulder
- GitHub: Evaluating and Integrating AI Models: Pragmatic AI Labs
- Build and Evaluate Robust Financial Models: Coursera
