Results for "formal+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, Computer Architecture, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Pseudocode, Software Testing, Simulations, Hardware Architecture, Software Quality Assurance, Logical Reasoning
Status: Free TrialJohns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, General Mathematics, Analytical Skills, Probability & Statistics, Geometry
Status: Free TrialUniversity of Minnesota
Skills you'll gain: Open Web Application Security Project (OWASP), Cucumber (Software), Software Testing, Selenium (Software), Gherkin (Scripting Language), JUnit, Verification And Validation, Test Automation, Unit Testing, Security Testing, Regression Testing, System Testing, Test Case, Software Development Tools, Testability, White-Box Testing, Behavior-Driven Development, Code Coverage, Performance Testing, Development Testing
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: NewStatus: Free TrialUniversity of London
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Theoretical Computer Science, Computer Science, Critical Thinking, Computational Thinking, Business Logic, Algorithms, Mathematical Modeling, Problem Solving, Strategic Communication
Status: Free TrialBoard Infinity
Skills you'll gain: Test Planning, Test Tools, Software Testing, Configuration Management, Test Case, Integration Testing, System Testing, Test Automation, Software Development Life Cycle, Acceptance Testing, Software Technical Review, Code Review, Unit Testing, White-Box Testing, Regression Testing, Software Quality Assurance, Test Data, Risk Management, Risk Management Framework, Verification And Validation
What brings you to Coursera today?
Status: Free TrialSkills you'll gain: Problem Solving, Vocabulary, Logical Reasoning, Critical Thinking, Deductive Reasoning, Arithmetic, Data Literacy, Analytical Skills, Complex Problem Solving, Grammar, English Language, Data Analysis, Learning Strategies, Trend Analysis, Applied Mathematics, Data Presentation, Verbal Communication Skills, Analysis, Quantitative Research, Estimation
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Verification And Validation, Control Systems, Network Model, Systems Analysis, Automation, Mechanical Engineering, Real-Time Operating Systems, Agentic systems, Differential Equations, Safety Assurance, Robotics, Artificial Intelligence, Linear Algebra, Algorithms, Applied Mathematics
Status: NewStatus: Free TrialUniversity of London
Skills you'll gain: Computational Logic, Algorithms, Applied Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Deductive Reasoning, Mathematical Theory & Analysis, Trigonometry, Statistics, General Mathematics, Analysis, Graphing, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Arithmetic, Problem Solving
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Software Systems, Theoretical Computer Science, Computer Architecture, Programming Principles, Graph Theory, Model Evaluation, Hardware Architecture, Algorithms
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
University of North Texas
Skills you'll gain: Arithmetic, Probability & Statistics, Graphing, Geometry, Statistics, Algebra, Applied Mathematics, Systems Of Measurement
In summary, here are 10 of our most popular formal+verification courses
- Fundamentals of Model Checking: University of Colorado Boulder
- Algebra: Elementary to Advanced: Johns Hopkins University
- Software Testing and Automation: University of Minnesota
- Software Quality Assurance and Testing: Board Infinity
- Logic and Reasoning for Computing: University of London
- Software Testing Fundamentals for ISTQB Exams Prep: Board Infinity
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant: Board Infinity
- Foundations of Autonomous Systems: University of Colorado Boulder
- Essential Mathematics for Computer Science: University of London
- Introduction to Modeling for Formal Verification: University of Colorado Boulder
