Search result for Formal verification Online Courses & Certifications
FollowFilter ![]()
Filter ![]()
Showing 7 courses
By Category ![]()
By Subject![]()
By Language![]()
By Duration![]()
By Price![]()
Get Course Alerts by Email
Formal Software Verification
by Renata Rand McFadden , Michael Scott Brown- 0.0
-
![]()
![]()
![]()
![]()
![]()
8 Weeks
Modeling checking, symbolic execution and formal methods are techniques that are used for mission critical systems where human life depends upon the system working correctly. In this course, part of the Software Testing and Verification MicroMasters program, you will learn how to perform these techniques. Use Formal Methods to create proofs of software implementations...
$249
Cyber-Physical Systems Design & Analysis
by Eric Feron , Pablo Afman , Jerome Hughes , Bruce Lewis- 0.0
-
![]()
![]()
![]()
![]()
![]()
Approx. 16 weeks
lesson 1 CPS design Models Low-level control Mid- and High-level automation lesson 2 CPS environment Humans and CPS Hardware-software co-design Sensors actuators and processors lesson 3 CPS engineering General principles Architecture and Design Language Formal methods for Verification and Validation...
Free
Quantitative Model Checking
by Anne Remke- 0.0
-
![]()
![]()
![]()
![]()
![]()
Approx. 18 hours to complete
As formal verification method, model checking analyzes...
Secure Software Development: Verification and More Specialized Topics
by David A. Wheeler- 0.0
-
![]()
![]()
![]()
![]()
![]()
7 Weeks
Assurance cases & formal methods: The basics of approaches to more strongly analyze and justify that your software is secure....
$199
UX and Interface Design for Embedded Systems
by Bruce Montgomery, PhD, PMP- 0.0
-
![]()
![]()
![]()
![]()
![]()
Approx. 12 hours to complete
The class includes an introduction to UX, and then a four phase breakdown of a typical UX design process, including planning, user research, design methods, and testing for verification and validation. Discount and Formal UX Processes UX Verification and Validation UX Verification and Validation UX Verification and Validation Methods UX Verification and Validation...
Product Development & Systems Engineering
by Christopher Olson- 4.5
-
![]()
![]()
![]()
![]()
![]()
25.5 hours on-demand video
How to capture a formal problem or need statement, which kicks off your development project. How to develop formal use cases. How verification and validation help foster a successful product. How to apply formal decision management and trade study processes....
$15.99
DevOps Tutorial: Complete Beginners Training - 5 in 1 Bundle
by Up Degree- 2.7
-
![]()
![]()
![]()
![]()
![]()
8.5 hours on-demand video
if the verification process fails, it would not stop the execution and all the test steps will be executed. There’s no formal cliched career track for kickstarting your career as a DevOps engineer....
$15.99
