Results for "model+checking"
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
Vanderbilt University
Skills you'll gain: Model Context Protocol, AI Workflows, Generative AI Agents, AI Orchestration, Agentic systems, LLM Application, Tool Calling, Prompt Patterns, AI Enablement, AI Security, Artificial Intelligence and Machine Learning (AI/ML), Prompt Engineering Tools, TypeScript, Prompt Engineering, AI Personalization, ChatGPT, Artificial Intelligence, Multimodal Prompts, Anthropic Claude, AI Product Strategy
Vanderbilt University
Skills you'll gain: Model Context Protocol, AI Workflows, Generative AI Agents, Agentic Workflows, AI Orchestration, Agentic systems, Tool Calling, Artificial Intelligence and Machine Learning (AI/ML), AI Security, AI Enablement, Artificial Intelligence, Prompt Patterns, Prompt Engineering, ChatGPT, Context Management, AI Personalization, AI Product Strategy, Anthropic Claude, Multimodal Prompts, Generative AI
Pragmatic AI Labs
Skills you'll gain: Prompt Engineering, Hugging Face, Generative AI, JSON
Coursera
Skills you'll gain: Auditing, Financial Auditing, Excel Formulas, Version Control, Financial Modeling, Microsoft Excel, Model Evaluation, Peer Review, Risk Modeling, Change Control, Analysis, Governance Risk Management and Compliance, Business Modeling, Case Studies, Performance Analysis, Technical Documentation, Performance Metric
What brings you to Coursera today?
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
Board Infinity
Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, Debugging, Software Development Methodologies, User Acceptance Testing (UAT), JUnit, Maintainability, Development Testing, Selenium (Software), Scalability, Automation, Software Technical Review, DevOps, Regression Testing, Test Execution Engine, Security Testing
Pragmatic AI Labs
Skills you'll gain: Hugging Face, Large Language Modeling, Transfer Learning, Rust (Programming Language), Data Validation, Model Deployment, Verification And Validation, Performance Tuning, System Requirements, Model Evaluation, Hardware Architecture, Deep Learning, Data Quality
Pragmatic AI Labs
Skills you'll gain: Responsible AI, Model Evaluation, GitHub, Application Programming Interface (API), AI Enablement, Generative AI, Development Environment, API Design, LLM Application, Cloud Development, Microsoft Azure, Scalability, Authentications, Data Validation
Pragmatic AI Labs
Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Hugging Face, Rust (Programming Language), Cloud Deployment, Application Deployment, CI/CD, Performance Tuning, Large Language Modeling, Performance Testing, Cross Platform Development, Cryptography
Skills 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
In summary, here are 10 of our most popular model+checking courses
- Fundamentals of Model Checking: University of Colorado Boulder
- AI Agents with Model Context Protocol & Typescript: Vanderbilt University
- Training, Evaluating, and Monitoring Machine Learning Models: Coursera
- AI Agents with Model Context Protocol: Vanderbilt University
- Large Language Models with Hugging Face: Pragmatic AI Labs
- Audit & Evaluate Excel Models: Coursera
- Quantitative Model Checking: 28DIGITAL
- Software Quality Assurance and Testing: Board Infinity
- Advanced Fine-Tuning in Rust: Pragmatic AI Labs
- GitHub: Evaluating and Integrating AI Models: Pragmatic AI Labs
