Results for "model checking"
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, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Algorithms, Logical Reasoning
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
What brings you to Coursera today?
Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Performance Testing, Embedded Systems, Graph Theory, Technical Documentation, Model Evaluation, Algorithms
Status: Free TrialDuke University
Skills you'll gain: Prompt Engineering, Databricks, Large Language Modeling, Model Deployment, LLM Application, Generative AI, Performance Analysis, Retrieval-Augmented Generation, Generative Model Architectures, Apache Airflow, Workflow Management, Hugging Face, Amazon Bedrock, Vector Databases, Data Lakes, ChatGPT, Extract, Transform, Load, OpenAI, Multimodal Prompts, MLOps (Machine Learning Operations)
Status: NewStatus: Free TrialSkills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Scalability, CI/CD, Continuous Deployment, Application Deployment, DevOps, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Continuous Integration, Performance Measurement, Business Metrics, Process Optimization, Verification And Validation, Automation, Key Performance Indicators (KPIs), Performance Analysis, Data-Driven Decision-Making
Skills you'll gain: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic
Status: NewStatus: Free TrialSkills you'll gain: AI Security, Responsible AI, LLM Application, Unit Testing, Verification And Validation, API Testing, Test Case, Security Testing, Software Testing, Code Coverage, Large Language Modeling, Model Evaluation, Test Tools, Test Script Development, Prompt Engineering, Threat Modeling, Penetration Testing, Maintainability, Software Technical Review, Quality Assessment
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Fundamentals of Model Checking: University of Colorado Boulder
- 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
- Large Language Model Operations (LLMOps): Duke University
- Automate, Evaluate and Deploy ML Models Confidently: Coursera
- Automated Reasoning: Symbolic Model Checking: 28DIGITAL
