Results for "model checking"
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Model Evaluation, Simulations, Algorithms, Safety and Security
University 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
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
Skills you'll gain: Model Context Protocol, Anthropic Claude, AI Workflows, Tool Calling, Systems Architecture, Program Development, Servers, Debugging, JSON, Development Environment, Document Management
University 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
Skills you'll gain: Model Evaluation, LLM Application, Large Language Modeling, Prompt Engineering, Hugging Face, Transfer Learning, Context Management
University 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
Skills you'll gain: MLOps (Machine Learning Operations), Model Deployment, Test Data, Model Evaluation, Data Synthesis, Development Environment, Claims Processing, Performance Tuning, Applied Machine Learning, Computer Hardware
Coursera
Skills you'll gain: LLM Application, Model Evaluation, Large Language Modeling, Retrieval-Augmented Generation, Vector Databases, MLOps (Machine Learning Operations), Performance Tuning, Debugging, Performance Testing, Query Languages, SQL, Statistical Hypothesis Testing, Statistical Analysis, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making, Python Programming, Pandas (Python Package)
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Temporal Logic Model Checking : University of Colorado Boulder
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
- Validate, Analyze, and Monitor ML Models: Coursera
- Quantitative Model Checking: 28DIGITAL
- Introduction to Model Context Protocol: Anthropic
- Introduction to Automated Analysis: University of Minnesota
- Validate and Explain Your ML Models: Coursera
- Quantitative Formal Modeling and Worst-Case Performance Analysis: 28DIGITAL
- Fine-Tuning & Optimizing Large Language Models: Edureka
- Fundamentals of Model Checking: University of Colorado Boulder
