Results for "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, Probability Distribution
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Model Evaluation, Simulations, Algorithms, Safety and Security
Status: Free TrialUniversity of Colorado Boulder
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
Status: NewStatus: PreviewSkills you'll gain: Model Context Protocol, Anthropic Claude, AI Workflows, Tool Calling, Program Development, Systems Architecture, Servers, Debugging, JSON, Development Environment, Document Management
Status: Free TrialUniversity of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, White-Box Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security
Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Performance Testing, Embedded Systems, Graph Theory, Technical Documentation, Model Evaluation, Algorithms
What brings you to Coursera today?
Status: NewStatus: Free TrialUniversity 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
Status: NewStatus: Free TrialVanderbilt University
Skills you'll gain: Claude Code, Prompt Engineering, Model Context Protocol, ChatGPT, Prompt Patterns, Anthropic Claude, AI Workflows, Prompt Engineering Tools, LLM Application, Generative AI Agents, Multimodal Prompts, Agentic Workflows, AI Orchestration, AI Enablement, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), AI Security, Agentic systems, AI Product Strategy, AI Personalization
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Verification And Validation, Control Systems, Network Model, Systems Analysis, Automation, Mechanical Engineering, Real-Time Operating Systems, Agentic systems, Differential Equations, Safety Assurance, Robotics, Artificial Intelligence, Linear Algebra, Algorithms, Applied Mathematics
Status: NewStatus: Free TrialSkills 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: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures
Status: NewStatus: Free TrialCoursera
Skills you'll gain: Data Pipelines, MLOps (Machine Learning Operations), Systems Design, Transfer Learning, Data Preprocessing, Data Quality, Feature Engineering, Deep Learning, Model Evaluation, Python Programming, Data Validation, Scikit Learn (Machine Learning Library), Predictive Modeling, Software Engineering, Applied Machine Learning, Debugging, Supervised Learning, Git (Version Control System), Performance Metric, Statistical Analysis
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Quantitative Model Checking: 28DIGITAL
- Temporal Logic Model Checking : University of Colorado Boulder
- 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
- AI Agents with Model Context Protocol: Vanderbilt University
- Foundations of Autonomous Systems: University of Colorado Boulder
- Build and Evaluate Robust Financial Models: Coursera
