Filter by
The language used throughout the course, in both instruction and assessments.
64 results for "formal verification"
- Status: Free
EIT Digital
Skills you'll gain: Leadership and Management
University of Minnesota
Skills you'll gain: Software Engineering, Software Testing
University of Colorado Boulder
University of Minnesota
Skills you'll gain: Software Testing, Software Engineering, Computer Programming, Java Programming, Mobile Development Tools, Web Development, Problem Solving, Data Analysis Software, Programming Principles, System Software, Android Development, HTML and CSS, Mobile Development, Other Web Frameworks, Planning, Web Development Tools, iOS Development
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Security Engineering, Strategy and Operations, Change Management, Audit, Leadership and Management, Risk Management
Skills you'll gain: Cloud Computing
Skills you'll gain: Computer Architecture, Cloud Computing
University of Michigan
Skills you'll gain: Communication, Negotiation, Planning, Strategy
Siemens
EC-Council
Skills you'll gain: Security Engineering, Network Security, System Security, Software Security, Cloud Computing, Security Software, Internet Of Things, Kubernetes, Mobile Security, Network Architecture, Computer Networking
University of Colorado Boulder
In summary, here are 10 of our most popular formal verification courses
- Quantitative Model Checking:Â EIT Digital
- Introduction to Automated Analysis:Â University of Minnesota
- Verification and Synthesis of Autonomous Systems:Â University of Colorado Boulder
- Software Testing and Automation:Â University of Minnesota
- Information Systems Auditing, Controls and Assurance:Â The Hong Kong University of Science and Technology
- Introduction to Model-Based Systems Engineering:Â Siemens
- Introduction to Digital Transformation:Â Siemens
- Negociación exitosa: Estrategias y habilidades esenciales (en español): University of Michigan
- Introduction to Solid Edge:Â Siemens
- Network Defense Essentials (NDE):Â EC-Council