Results for "formal verification"
University of Colorado Boulder
Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Computer Engineering, Communication Systems, Software Systems, Process Modeling, Theoretical Computer Science, Graph Theory
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Systems Analysis, System Requirements, Algorithms, Functional Specification
28DIGITAL
Skills you'll gain: Computational Logic, Deductive Reasoning, Combinatorics, Logical Reasoning, Mathematical Modeling, Operations Research, Theoretical Computer Science, Mathematical Software, Applied Mathematics, Algorithms, Linear Algebra, Model Optimization, Verification And Validation, Arithmetic
University of Colorado Boulder
Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Functional Specification, Process Modeling, Communication Systems, Test Tools, Algorithms, Safety and Security
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, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Test Tools, Logical Reasoning
University of Colorado Boulder
Skills you'll gain: Computational Logic, Model Based Systems Engineering, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Functional Specification, Verification And Validation, Systems Architecture, Automation Engineering, Control Systems, Network Model, Requirements Analysis, Mechanical Engineering, Mechanics, Applied Mathematics, Automation, Systems Analysis, Differential Equations, Algorithms
What brings you to Coursera today?
University of California, Santa Cruz
Skills you'll gain: C++ (Programming Language), Go (Programming Language), File I/O, Data Structures, C and C++, Object Oriented Programming (OOP), Object Oriented Design, Programming Principles, Software Design Patterns, Debugging, Computer Programming, Unit Testing, C (Programming Language), Software Design, Program Development, Algorithms, Graph Theory, Software Testing, Computer Science, Computational Logic
Duke University
Skills you'll gain: Deductive Reasoning, Critical Thinking, Logical Reasoning, Computational Logic, Analysis, Probability, Diagram Design, Sampling (Statistics), Persuasive Communication, Verification And Validation, Probability & Statistics, Statistical Inference, Correlation Analysis, Communication, Decision Intelligence, Appeals, Business Communication
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
Vanderbilt University
Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Retrieval-Augmented Generation, Generative AI Agents, AI Orchestration, AI powered creativity, Agentic Workflows, OpenAI API, LLM Application, Ideation, Verification And Validation, Generative AI, AI Workflows, AI literacy, OpenAI, Expense Management, Multimodal Prompts, AI Personalization, Software Development
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, System Design and Implementation, Application Specific Integrated Circuits, Test Case, Test Script Development, Verification And Validation, Electronic Hardware, Computational Logic, Electrical and Computer Engineering, Electronics, Test Tools, Development Testing, Simulation and Simulation Software, Programming Principles, Simulations, Functional Testing, Debugging, Computer Programming
Vanderbilt University
Skills you'll gain: Claude Code, Prompt Engineering, ChatGPT, Retrieval-Augmented Generation, Generative AI Agents, Prompt Patterns, Anthropic Claude, Agentic Workflows, Token Optimization, Multimodal Prompts, Generative AI, AI Personalization, Artificial Intelligence and Machine Learning (AI/ML), Software Engineering, Software Development Tools, Software Development, Automation, Software Architecture, Software Testing, Software Design
In summary, here are 10 of our most popular formal verification courses
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- Automated Reasoning: satisfiability:Â 28DIGITAL
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- C, Go, and C++: A Comprehensive Introduction to Programming:Â University of California, Santa Cruz
- Introduction to Logic and Critical Thinking:Â Duke University
- Software Testing and Automation:Â University of Minnesota
- AI Agent Developer:Â Vanderbilt University
