Results for "formal+verification"
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Functional Testing, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Logical Reasoning
Johns Hopkins University
Skills you'll gain: Algebra, Mathematical Modeling, Graphing, Arithmetic, Advanced Mathematics, Applied Mathematics, Deductive Reasoning, Analytical Skills, Probability & Statistics, Geometry
Board Infinity
Skills you'll gain: Prompt Engineering, Prompt Patterns, LLM Application, Generative AI Agents, AI Workflows, AI Orchestration, Agentic Workflows, Large Language Modeling, Tool Calling, Agentic systems, Debugging, Quality Assurance, Model Evaluation
Skills you'll gain: Vocabulary, Critical Thinking and Problem Solving, Logical Reasoning, Analytical Skills, Critical Thinking, Deductive Reasoning, Arithmetic, Problem Solving, Data Literacy, Grammar, Language Competency, English Language, Data Analysis, Literacy, Complex Problem Solving, Learning Strategies, Trend Analysis, Data Synthesis, Applied Mathematics, Algebra
Skills you'll gain: Computer Security Incident Management, Vulnerability Management, Cyber Security Strategy, Cyber Governance, Incident Response, Cyber Operations, Cyber Threat Intelligence, Encryption, Cyber Attacks, Governance Risk Management and Compliance, Incident Management, Cryptographic Protocols, Threat Detection, Security Strategy, Mobile Security, Network Model, Vulnerability, Security Awareness, Vulnerability Assessments, Vulnerability Scanning
University of London
Skills you'll gain: Computational Logic, Algorithms, Arithmetic, Applied Mathematics, Advanced Mathematics, Mathematics and Mathematical Modeling, Deductive Reasoning, Mathematical Theory & Analysis, Trigonometry, Geometry, Statistics, General Mathematics, Graphing, Computer Science, Mathematical Modeling, Programming Principles, Business Mathematics, Business Logic, Algebra, Problem Solving
What brings you to Coursera today?
University 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, Test Case, Software Development Tools, Testability, White-Box Testing, Behavior-Driven Development, Code Coverage, Performance Testing, Development Testing, Test Engineering
Board Infinity
Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, AI Security, Software Quality (SQA/SQC), Performance Stress Testing, Software Development Methodologies, Regression Testing, AI Integrations, Maintainability, Code Review, Scalability, Automation, Code Coverage, Software Technical Review, DevOps, Security Testing
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Mockups, Security Requirements Analysis, Interviewing Skills, User Requirements Documents, Systems Development Life Cycle, Data Flow Diagrams (DFDs), Storyboarding, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Diagram Design, Agile Methodology, Product Requirements, Unified Modeling Language, Risk Management Framework, Risking
Board Infinity
Skills you'll gain: Test Planning, Test Tools, Software Testing, Configuration Management, Test Case, Software Configuration Management, Test Automation, Software Development Life Cycle, Software Technical Review, Software Quality Assurance, White-Box Testing, Test Engineering, Risk Management, Risk Management Framework, Verification And Validation, Issue Tracking, Human Factors
Skills you'll gain: Prompt Engineering, Large Language Modeling, Prompt Patterns, Fine-tuning, Generative AI, Generative Model Architectures, LLM Application, Retrieval-Augmented Generation, Model Training, Natural Language Processing, Model Evaluation, Data Cleansing, Model Optimization
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Data Analysis, Computational Logic, Integral Calculus, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Statistical Methods, Analysis, Advanced Mathematics, Bayesian Statistics, Statistical Inference, Theoretical Computer Science, Mathematics and Mathematical Modeling, Numerical Analysis, Descriptive Analytics
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
- Agent Foundations and Prompt Engineering:Â Board Infinity
- Job & Exam Aptitude Mastery: Reasoning | DI | Verbal | Quant:Â Board Infinity
- CompTIA Security+ Certification Preparation:Â LearnKartS
- Essential Mathematics for Computer Science:Â University of London
- Software Testing and Automation:Â University of Minnesota
- Software Quality Assurance and Testing:Â Board Infinity
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- Software Testing Fundamentals for ISTQB Exams Prep:Â Board Infinity
