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, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Pseudocode, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Logical Reasoning
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: NewStatus: Free TrialSkills you'll gain: Test Driven Development (TDD), Unit Testing, Test Planning, Debugging, Browser Compatibility, Performance Testing, Security Testing, Software Testing, System Testing, Test Script Development, Behavior-Driven Development, API Testing, Code Coverage, Integration Testing, Test Case, Test Automation, Test Tools, Development Environment, Code Review, Continuous Delivery
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 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 TrialSkills you'll gain: MLOps (Machine Learning Operations), LLM Application, AI Security, Test Automation, Test Driven Development (TDD), Code Coverage, Unit Testing, CI/CD, Continuous Integration, Testability, Large Language Modeling, Model Deployment, Responsible AI, Maintainability, AI Workflows, Scripting, Software Engineering, Python Programming, Statistical Analysis, SQL
What brings you to Coursera today?
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: PreviewSkills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Systems Design, Application Specific Integrated Circuits, Electronic Systems, Computer Engineering, Verification And Validation, Embedded Systems, Software Design, Simulation and Simulation Software, Test Engineering, Programming Principles, Data Synthesis, Analysis, Design, Process Optimization
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: NewStatus: Free TrialSkills you'll gain: C++ (Programming Language), Software Documentation, System Programming, Technical Documentation, Application Development, Maintainability, Data Structures, Generative AI, Application Performance Management, Algorithms, Scalability
Status: NewStatus: PreviewSkills you'll gain: Secure Coding, Open Web Application Security Project (OWASP), DevSecOps, Security Testing, Application Security, Vulnerability Scanning, Vulnerability Assessments, Vulnerability Management, CI/CD, Continuous Monitoring, Docker (Software), Technical Communication, Computer Programming
Status: NewStatus: PreviewSkills you'll gain: JUnit, Test Automation, Unit Testing, Software Testing, Verification And Validation, Test Case, Test Driven Development (TDD), Integration Testing, Debugging, Mockups
In summary, here are 10 of our most popular formal+verification courses
- Fundamentals of Model Checking: University of Colorado Boulder
- Essential Mathematics for Computer Science: University of London
- Software Testing and Quality Engineering: Edureka
- Algebra: Elementary to Advanced: Johns Hopkins University
- Software Quality Assurance and Testing: Board Infinity
- Testing and Refining LLM Applications: Coursera
- Software Testing and Automation: University of Minnesota
- SystemVerilog Tutorials: Hardware Design & Verification: Coursera
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant: Board Infinity
- Advanced C++ Programming and Modern Practices: Microsoft
