Results for "formal verification"
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Theoretical Computer Science, Systems Analysis, Computer Architecture, Software Architecture, Simulations, Graph Theory, Hardware Architecture, Logical Reasoning
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, Unit Testing, Functional Testing, Usability Testing, Integration Testing, Performance Testing, Software Development Life Cycle, Software Development
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Deductive Reasoning, Test Case, Program Development
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computer Programming, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Text Mining, Data Science, Analysis, Machine Learning Methods, Debugging, Technical Analysis
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Architecture, Software Design, Verification And Validation, Systems Design, Theoretical Computer Science, Communication Systems, Simulations, Algorithms, Safety and Security
EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation
What brings you to Coursera today?
Status: PreviewUniversity of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Data Structures, Verification And Validation, Computer Architecture, Systems Design, Algorithms, Computer Engineering, Mathematical Software, Design Software, Computer Programming Tools, Debugging, Digital Design, Software Development Tools
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Probability, Algorithms, Graph Theory, Probability Distribution
Status: NewStatus: PreviewSkills you'll gain: Code Coverage, Embedded Software, Real-Time Operating Systems, Performance Testing, System Testing, Software Testing, User Acceptance Testing (UAT), Verification And Validation, Embedded Systems, Scenario Testing, Acceptance Testing, Test Tools, Test Execution Engine, Unit Testing, Test Case, Test Planning, Integration Testing, Simulations, System Requirements, Real Time Data
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Systems, Embedded Systems, Electronics Engineering, Eclipse (Software), Application Specific Integrated Circuits, Electronic Hardware, Technical Design, Electronics, Electrical and Computer Engineering, Test Case, Program Development, Integrated Development Environments, System Design and Implementation, Computer Architecture, Hardware Architecture, Software Development, Verification And Validation, Embedded Software
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Technical Design, Electronics Engineering, Electronic Hardware, Electrical and Computer Engineering, Test Case, Verification And Validation, Functional Design, Embedded Systems, Computer Engineering, Simulation and Simulation Software, Functional Testing
Status: Free TrialUniversity of California San Diego
Skills you'll gain: Data Structures, Graph Theory, Algorithms, Program Development, Bioinformatics, Data Storage, Development Testing, Theoretical Computer Science, Computational Thinking, Network Analysis, Programming Principles, File Systems, Computer Programming, Python Programming, C and C++, Java, Rust (Programming Language), Javascript, Software Testing, Debugging
Searches related to formal verification
In summary, here are 10 of our most popular formal verification courses
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder
- Foundations of Software Testing and Validation:Â University of Leeds
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- Formal Languages and Applications:Â Birla Institute of Technology & Science, Pilani
- Temporal Logic Model Checking :Â University of Colorado Boulder
- Automated Reasoning: satisfiability:Â EIT Digital
- VLSI CAD Part I: Logic:Â University of Illinois Urbana-Champaign
- Quantitative Model Checking:Â EIT Digital
- Advanced Techniques in Embedded Software Testing:Â Coursera
- FPGA Design for Embedded Systems:Â University of Colorado Boulder
