Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
Status: FreeSkills you'll gain: Systems Analysis, Verification And Validation, Computational Logic, Data Modeling, Programming Principles, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms
Status: FreeSkills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Data Modeling
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Systems Engineering, Systems Design, Systems Analysis, Algorithms, Safety and Security
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
Johns Hopkins University
Skills you'll gain: Network Analysis, Statistical Modeling, Bayesian Network, R Programming, Simulations, Applied Mathematics, Mathematical Modeling, Graph Theory, Data Analysis, Probability, Statistical Analysis, Markov Model, Probability Distribution, Machine Learning
Skills you'll gain: Financial Modeling, Project Finance, Timelines, Return On Investment, Financial Statements, Project Schedules, Financial Analysis, Financial Forecasting, Balance Sheet, Construction Management, Capital Expenditure, Microsoft Excel, Operating Cost, Profit and Loss (P&L) Management, Cash Flows, Feasibility Studies
Skills you'll gain: MLOps (Machine Learning Operations), Generative AI, Continuous Monitoring, Predictive Modeling, Google Cloud Platform, Data Quality, Artificial Intelligence and Machine Learning (AI/ML), Performance Testing, Machine Learning, Performance Tuning, Natural Language Processing
Cisco Learning and Certifications
Skills you'll gain: Software-Defined Networking, YAML, Network Architecture, Network Protocols, Computer Networking, Data Modeling, Network Administration, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API)
Johns Hopkins University
Skills you'll gain: Statistical Modeling, Exploratory Data Analysis, R Programming, Predictive Modeling, Statistical Hypothesis Testing, Tidyverse (R Package), Data Analysis, Data Modeling, Data-Driven Decision-Making, Regression Analysis, Data Science, Classification And Regression Tree (CART), Statistical Inference, Predictive Analytics, Statistical Analysis, Rmarkdown, Probability & Statistics, Machine Learning
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
Status: Free
Coursera Project Network
Skills you'll gain: ChatGPT, Unified Modeling Language, OpenAI, Generative AI, Software Visualization, Artificial Intelligence, Software Design Documents, Technical Communication, User Story, Application Programming Interface (API), Software Development Tools, Natural Language Processing, Development Environment, Software Development
Skills you'll gain: Unit Testing, .NET Framework, Test Tools, Development Testing, Test Case, Test Automation, Microsoft Visual Studio, C# (Programming Language), Integration Testing, Debugging
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- System Validation (4): Modelling Software, Protocols, and other behaviour: EIT Digital
- System Validation (3): Requirements by modal formulas: EIT Digital
- Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
- Automated Reasoning: Symbolic Model Checking: EIT Digital
- Computational and Graphical Models in Probability: Johns Hopkins University
- Project Finance & Excel: Build Financial Models from Scratch: Packt
- Machine Learning Operations with Vertex AI: Model Evaluation: Google Cloud
- Introducing Model-Driven Programmability: Cisco Learning and Certifications
- Modeling Data in the Tidyverse: Johns Hopkins University
- Requirement Specifications for Autonomous Systems: University of Colorado Boulder
