Results for "simulation for verification"
Status: NewStatus: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Algorithms, Logical Reasoning
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Software Systems, Theoretical Computer Science, Simulations, Programming Principles, Graph Theory, Model Evaluation, Hardware Architecture, Algorithms, Logical Reasoning
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
Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Test Case, Systems Design, Performance Tuning, Automation Engineering, Matlab
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, Data Flow Diagrams (DFDs), Storyboarding, Requirements Management, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Diagram Design, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic
What brings you to Coursera today?
Status: Free TrialUniversity of Toronto
Skills you'll gain: Computer Vision, Convolutional Neural Networks, Image Analysis, Control Systems, Robotics, Embedded Software, Automation, Deep Learning, Software Architecture, Simulations, Safety Assurance, Traffic Flow Optimization, Artificial Neural Networks, Global Positioning Systems, Machine Controls, Hardware Architecture, Systems Architecture, Network Routing, Estimation, Machine Learning Methods
Status: PreviewUniversity of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, User Acceptance Testing (UAT), Test Planning, Verification And Validation, Acceptance Testing, System Testing, White-Box Testing, Unit Testing, Functional Testing, Integration Testing, Software Development Life Cycle, Software Development
Status: PreviewUniversity of Geneva
Skills you'll gain: Simulations, Python Programming, Statistical Methods, Numerical Analysis, Mathematical Modeling, Probability Distribution, Mechanics, Physics
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Model Evaluation, Simulations, Algorithms, Safety and Security
Status: NewStatus: Free TrialSkills you'll gain: Video Game Development, 3D Assets, Virtual Environment, Simulation and Simulation Software, Animations, 3D Modeling, Visualization (Computer Graphics), Simulations, Computer Graphics, Data Pipelines, Scripting, Debugging
Status: Free TrialUniversity of Minnesota
Skills you'll gain: Simulations, Probability Distribution, Probability, Statistics, Microsoft Excel, Excel Formulas, Complex Problem Solving, Business Process Modeling, Business Modeling, Risk Modeling, Financial Modeling, Data Modeling, Statistical Analysis
In summary, here are 10 of our most popular simulation for verification courses
- Fundamentals of Model Checking: University of Colorado Boulder
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
- Software Quality Assurance and Testing: Board Infinity
- Modeling and Simulation with Simulink : MathWorks
- Requirements Engineering: Secure Software Specifications: University of Colorado System
- Model Checking with SAT and SMT : University of Colorado Boulder
- Self-Driving Cars: University of Toronto
- Foundations of Software Testing and Validation: University of Leeds
- Simulation and modeling of natural processes: University of Geneva
- Temporal Logic Model Checking : University of Colorado Boulder
