Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
Skills you'll gain: Jest (JavaScript Testing Framework), User Acceptance Testing (UAT), Cucumber (Software), Postman API Platform, Software Testing, Behavior-Driven Development, Selenium (Software), Test Driven Development (TDD), Unit Testing, Acceptance Testing, Performance Testing, Functional Testing, Test Automation, Usability Testing, Application Programming Interface (API), User Interface (UI), Test Case, API Design
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
Erasmus University Rotterdam
Skills you'll gain: Microsoft Excel, Excel Formulas, Verification And Validation, Business Modeling, Technical Documentation, Data Validation, Asset Protection, Maintainability, Information Architecture, Data Integrity, Data Management
University at Buffalo
Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Product Engineering, Data Modeling, Manufacturing Processes, Product Lifecycle Management, Configuration Management, Verification And Validation, Simulation and Simulation Software, Digital Transformation, Computer-Aided Design
University of Minnesota
Skills you'll gain: Gherkin (Scripting Language), Software Testing, Testability, Test Case, Behavior-Driven Development, Code Coverage, Acceptance Testing, Unit Testing, Functional Testing, Test Automation, Test Driven Development (TDD), Requirements Analysis, Functional Requirement
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Systems Design, System Requirements, Verification And Validation, Network Model, Requirements Analysis, Automation, Computer Systems, Mechanics, Systems Analysis, Systems Engineering, Linear Algebra, Differential Equations, Electrical Engineering, Applied Mathematics, Algorithms, Safety and Security, Real Time Data
University of Colorado System
Skills you'll gain: Requirements Analysis, Security Requirements Analysis, Requirements Elicitation, Functional Requirement, Goal Setting, Unified Modeling Language, Meeting Facilitation, Conflict Management, Risk Analysis, User Story, Stakeholder Engagement, Negotiation
Skills you'll gain: Ansible, Infrastructure as Code (IaC), Jenkins, Continuous Integration, Gradle, Configuration Management, CI/CD, Code Coverage, Devops Tools, DevOps, Build Tools, Continuous Deployment, Application Deployment, Automation, Version Control
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Data Processing, Data Cleansing, Performance Testing, Deep Learning, System Configuration, Artificial Intelligence and Machine Learning (AI/ML), Configuration Management, Text Mining, Machine Learning
Skills you'll gain: Systems Integration, Engineering Design Process, Simulation and Simulation Software, Mathematical Modeling, Engineering Analysis, Matlab, Engineering Software, Engineering, Mechanical Engineering, Electrical and Computer Engineering
- Status: Free
Skills you'll gain: Generative AI, Application Development, Google Cloud Platform, Artificial Intelligence, Natural Language Processing, Performance Tuning
Board Infinity
Skills you'll gain: Test Tools, Test Planning, Configuration Management, Test Automation, Software Testing, Test Case, System Testing, Acceptance Testing, Release Management, Software Quality Assurance, Performance Testing, Issue Tracking, Risk Management Framework, Version Control
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- Software Testing for Developers: Codio
- System Validation: Automata and behavioural equivalences: EIT Digital
- Excel Modeling for Professionals: Best Practices & Pitfalls: Erasmus University Rotterdam
- MBSE: Model-Based Systems Engineering : University at Buffalo
- Black-box and White-box Testing: University of Minnesota
- Foundations of Autonomous Systems: University of Colorado Boulder
- Requirements Specifications: Goals and Conflict Analysis: University of Colorado System
- Continuous Inspection and Configuration Management - Jenkins: LearnKartS
- Pretraining LLMs: DeepLearning.AI
- Designing and Simulating Physical Models: MathWorks