Results for "infinite-state+stochastic+model+checking+methods"
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic
Status: NewStatus: Free TrialBoard 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
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computer Programming, Pseudocode, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Data Science, Analysis, Debugging, Technical Analysis
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Markov Model, Engineering Analysis, Mathematical Modeling, Computational Thinking, Failure Analysis, Biological Engineering, Hazard Analysis, Simulations, Chemical Engineering, Model Evaluation, Applied Mathematics, Differential Equations, Probability
Status: NewUniversity of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Thinking, Systems Design, System Design and Implementation, Systems Analysis, Model Evaluation, Software Design, Computer Architecture, Program Development, Software Quality (SQA/SQC), Logical Reasoning
Status: Free TrialJohns Hopkins University
Skills you'll gain: Integral Calculus, Calculus, Geometry, Applied Mathematics, Mechanics, Engineering Calculations, Mathematical Modeling, Physics
What brings you to Coursera today?
Status: NewStatus: Free TrialDartmouth College
Skills you'll gain: Classification Algorithms
Status: NewSkills you'll gain: AI Security, Application Security, Secure Coding, DevSecOps, Threat Modeling, Vulnerability Scanning, Vulnerability Assessments, AI Personalization, Continuous Integration, Open Source Technology, PyTorch (Machine Learning Library), MLOps (Machine Learning Operations), Dependency Analysis, Analysis, Program Implementation, Supply Chain
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Agentic systems, Mathematical Modeling, Systems Design, Theoretical Computer Science, Machine Controls, Computational Logic, Verification And Validation, System Requirements, System Design and Implementation, Engineering Analysis, Software Systems, Simulations, Automation Engineering, Automation, Mechanics, Diagram Design, Systems Analysis, Safety Assurance, Control Systems, Linear Algebra
Status: NewSkills you'll gain: Model Deployment, MLOps (Machine Learning Operations), AI Security, Cloud Deployment, DevOps, CI/CD, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making
Status: NewSkills you'll gain: AI Security, Threat Modeling, MITRE ATT&CK Framework, Application Security, Security Engineering, Security Controls, Responsible AI, MLOps (Machine Learning Operations), Cybersecurity, Model Deployment, Data Security, Threat Detection, Artificial Intelligence and Machine Learning (AI/ML), Vulnerability Assessments, Application Lifecycle Management
Status: NewSkills you'll gain: Risk Management, Risk Management Framework, Infrastructure Security, Safety Assurance, Threat Modeling, Information Systems Security, Security Controls, Security Engineering, Security Requirements Analysis, Safety Standards, Safety and Security, Cybersecurity, Cyber Security Strategy, Continuous Monitoring, Cyber Risk, Hardening, Vulnerability Assessments, Cyber Security Policies, Cyber Security Assessment, Industrial Design
What brings you to Coursera today?
In summary, here are 10 of our most popular infinite-state+stochastic+model+checking+methods courses
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- Software Quality Assurance and Testing:Â Board Infinity
- Formal Languages and Applications:Â Birla Institute of Technology & Science, Pilani
- Engineering Genetic Circuits: Abstraction Methods:Â University of Colorado Boulder
- Equivalences, Abstraction, and Partial Order Reduction:Â University of Colorado Boulder
- Calculus through Data & Modelling: Integration Applications:Â Johns Hopkins University
- Foundations for Machine Learning:Â Dartmouth College
- Secure AI Code & Libraries with Static Analysis:Â Coursera
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Secure AI Model Deployments & Lifecycles:Â Coursera
