Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "model checking"
- Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, Software Engineering Tools, Software Technical Review, JUnit, Development Testing, System Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security, Vulnerability Scanning, Java Programming
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Systems Design, Software Architecture, Theoretical Computer Science, Algorithms, Software Development Tools
DeepLearning.AI
Skills you'll gain: Tensorflow, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Performance Tuning, Machine Learning Methods, Artificial Neural Networks, Applied Machine Learning, Machine Learning, Supervised Learning, Machine Learning Algorithms, Network Architecture, Algorithms, Analysis, Debugging
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Model Based Systems Engineering, Systems Design, Theoretical Computer Science, Verification And Validation, System Requirements, Systems Architecture, Software Systems, Simulations, Automation, Systems Engineering, Mechanics, Requirements Analysis, Computer Systems, Systems Analysis, Safety Assurance, Linear Algebra, Differential Equations, Algorithms
Columbia University
Skills you'll gain: Project Schedules, Construction Management, Construction Estimating, Project Finance, Cost Estimation, Project Risk Management, Bidding, Building Information Modeling, Scheduling, Cost Control, Environment Health And Safety, Risk Management, Project Closure, Lean Methodologies, Project Controls, Real Estate, Cash Flows, Business Transformation, Innovation, Architecture and Construction
- Status: Free
Università Bocconi
Skills you'll gain: Annual Reports, Retail Store Operations, Brand Management, Global Marketing, Brand Strategy, Digital Publishing, Social Media Content, Communication Strategies, Marketing Strategies, Business Management, Business Modeling, Business Strategy, E-Commerce, Consumer Behaviour, Market Trend, Product Development
- Status: Free
Skills you'll gain: Verification And Validation, Systems Analysis, Mathematical Modeling, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
University of Pennsylvania
Skills you'll gain: Financial Statements, Return On Investment, Financial Statement Analysis, Finance, Financial Reporting, Capital Budgeting, Financial Accounting, Financial Modeling, Working Capital, Balance Sheet, Accrual Accounting, Accounting, Cash Flows, Income Statement, Generally Accepted Accounting Principles (GAAP), Financial Analysis, Tax Planning, Equities, Financial Planning, Corporate Finance
- Status: Free
Yale University
Skills you'll gain: Positive Behavior Support, Goal Setting, Resilience, Self-Awareness, Behavioral Economics, Emotional Intelligence, Mental Health, Psychology, Social Skills, Time Management
Multiple educators
Skills you'll gain: Unsupervised Learning, Supervised Learning, Classification And Regression Tree (CART), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Applied Machine Learning, Machine Learning, Jupyter, Data Ethics, Decision Tree Learning, Tensorflow, Scikit Learn (Machine Learning Library), NumPy, Predictive Modeling, Deep Learning, Artificial Intelligence, Reinforcement Learning, Random Forest Algorithm, Feature Engineering, Artificial Neural Networks
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Quantitative Model Checking:Â EIT Digital
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
- Introduction to Automated Analysis:Â University of Minnesota
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Improving Deep Neural Networks: Hyperparameter Tuning, Regularization and Optimization:Â DeepLearning.AI
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Construction Management:Â Columbia University
- Management of Fashion and Luxury Companies: Università Bocconi
- System Validation (2): Model process behaviour:Â EIT Digital
- Introduction to Finance and Accounting:Â University of Pennsylvania