Results for "model checking"
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Software Design, Verification And Validation, Systems Design, Theoretical Computer Science, Communication Systems, Simulations, Algorithms, Safety and Security
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures
Status: NewStatus: PreviewVanderbilt University
Skills you'll gain: Generative AI Agents, Email Automation, Business Process Automation, Generative AI, AI Product Strategy, Agentic systems, Tool Calling, Anthropic Claude, ChatGPT, Automation, Leadership, Responsible AI, Marketing Automation, Business Solutions, Solution Design, Multimodal Prompts, Artificial Intelligence and Machine Learning (AI/ML), Prompt Engineering, Technology Strategies, IT Automation
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Theoretical Computer Science, Systems Analysis, Computer Architecture, Software Architecture, Simulations, Graph Theory, Hardware Architecture, Logical Reasoning
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Probability, Algorithms, Graph Theory, Probability Distribution
Status: Free TrialUniversity of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Unit Testing, Test Tools, System Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Functional Requirement, Application Security
What brings you to Coursera today?
Status: NewStatus: PreviewSkills you'll gain: Tool Calling, LLM Application, Prompt Engineering, Application Programming Interface (API), Program Development, Systems Architecture, Test Tools, Server Side, Development Testing, Debugging, Application Design, Document Management
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Deductive Reasoning, Test Case, Program Development
Status: NewStatus: PreviewSkills you'll gain: Web Servers, File Management, Server Side
Status: NewStatus: PreviewFractal Analytics
Skills you'll gain: Threat Modeling, LLM Application, Generative AI Agents, Application Security, Software Architecture, Systems Architecture, Security Controls, Security Engineering, Interoperability, Agentic systems, Real Time Data, Artificial Intelligence, Network Protocols, Generative AI
Status: NewStatus: PreviewSkills you'll gain: Application Lifecycle Management, Azure DevOps, CI/CD, DevSecOps, Continuous Delivery, GitLab, Continuous Integration, DevOps, Data Validation, Data Quality, Test Automation, Workflow Management, Extract, Transform, Load, Test Case, Enterprise Architecture, Governance, Data Pipelines, Scalability, SQL
Status: Free TrialUniversity of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Storyboarding, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements, Meeting Facilitation, Prototyping, Software Development Life Cycle
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
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
- Model Context Protocol for Leaders: Generative AI Agents:Â Vanderbilt University
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
- Quantitative Model Checking:Â EIT Digital
- Introduction to Automated Analysis:Â University of Minnesota
- Introduction to Model Context Protocol:Â Anthropic
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- Model Context Protocol: Advanced Topics:Â Anthropic
- Model Context Protocol (MCP) Mastery:Â Fractal Analytics
