Course details
Want to gain software quality skills used in mission critical systems? 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. The concepts from this course can be applied to any programming language and testing software. Updated on 17 September, 2019 Courses you can instantly connect with... Do an online course on Software Development starting now.
- JavaScript Full stack web developer virtual internship Virtual Bootcamp + Internship at LaimoonAED 1,449Duration: Upto 30 Hours
- SAP BW4/HANA (Video-Based) UplatzUSD 12Duration: Upto 30 Hours
- USD 49Duration: 1 To 2 Months
