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
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
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: Model Context Protocol, Claude Code, Kaizen Methodology, Code Coverage, Verification And Validation, Testability, Quality Assurance, Agentic systems, Software Quality (SQA/SQC), Test Automation, Development Testing, Maintainability, Software Testing, Generative AI Agents, Agentic Workflows, Artificial Intelligence, Large Language Modeling
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
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
University of California, Santa Cruz
Skills you'll gain: Retrieval-Augmented Generation, Model Context Protocol, Generative AI Agents, AI Integrations, Agentic systems, Context Engineering, Agentic Workflows, Application Deployment, Token Optimization, Tool Calling, LLM Application, Context Management, Enterprise Architecture, Responsible AI, Model Evaluation, Large Language Modeling, Memory Management, Routing Protocols
In summary, here are 10 of our most popular model checking courses
- Temporal Logic Model Checking : University of Colorado Boulder
- Quantitative Model Checking: 28DIGITAL
- GitHub: Evaluating and Integrating AI Models: Pragmatic AI Labs
- 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
- Building deterministic MCP Agents: Pragmatic AI Labs
- Model Context Protocol – Fundamentals to Advanced Use: Packt
