Search results for formal verification

Microcredential

Software Testing and Verification

Gain essential software testing and verification skills with this 24-week course by the University System of Maryland. Ideal for testers, developers, and QA engineers.

• edX
• 24 weeks, 8-10 hours a week
• On-Demand
• $747.00
• 3 courses

Alan Turing Institute

Formal Verification and Learning of Complex Systems - Professor Alessandro Abate

Explore the intersection of formal verification and learning in complex systems with this less than 1-hour offering from the Alan Turing Institute. Dive into model-based and data-driven methods, Bayesian inference, and logically constrained reinforcement…

• YouTube
• 43 minutes
• On-Demand
• Free Online Course

Alan Turing Institute

At-Scale Formal Verification for Industrial Semiconductor Designs - Professor Tom Melham

Explore formal verification for semiconductor designs with this short program by the Alan Turing Institute. Learn about state space abstraction, overcoming roadblocks, and effective validation.

• YouTube
• 28 minutes
• On-Demand
• Free Online Course

Formal English Writing - Go to the Next Level!

1447 ratings at Udemy

Improve your English writing skills for essays, reports, emails, and exams with this 1-2 hour course. Learn from an IELTS examiner and avoid common mistakes.

• Udemy
• 1 hour 56 minutes
• On-Demand
• Free Online Course

Formal Languages and Automata Theory

156 ratings at Udemy

Explore the theoretical foundations of computer science with this 31-hour course. Learn about automata theory, formal languages, grammar, and computability, and apply these concepts to real-world problems.

• Udemy
• 31 hours
• On-Demand
• Paid Course

SOC Verification using SystemVerilog

6013 ratings at Udemy

A comprehensive course that teaches System on Chip design verification concepts and coding in SystemVerilog Language

• Udemy
• 4 hours 15 minutes
• On-Demand
• Free Online Course

PHP: Complete Registration and Login with Email Verification

187 ratings at Udemy

In this course you will learn all you need to know to build a registration and login system in php.

• Udemy
• 2 hours 38 minutes
• On-Demand
• Paid Course

Build a SMS Verification with Login System Using PHP MySQL

142 ratings at Udemy

Learn To Build Login and Registration System with Mobile & Email Code Verification Using PHP and MySQL

• Udemy
• 4 hours 7 minutes
• On-Demand
• Paid Course

Formal Financial Accounting

364 ratings at Coursera

Dive into the formal foundations of financial accounting with this 4-week course from the University of Illinois. Learn critical technical terms and prepare for advanced accounting topics.

• Coursera
• 10 hours 19 minutes
• On-Demand
• Free Online Course (Audit)

Quantitative Formal Modeling and Worst-Case Performance Analysis

42 ratings at Coursera

EIT Digital's 4-week course focuses on quantitative formal modeling and worst-case performance analysis, teaching abstract thinking, Petri-nets, timing, and scheduling.

• Coursera
• 16 hours 40 minutes
• On-Demand
• Free Online Course (Audit)

Secure Software Development: Verification and More Specialized Topics

Learn how to verify software for security, and take a deeper dive into the basics of applying threat models and cryptography.

• edX
• 7 weeks, 1-2 hours a week
• On-Demand
• Free Online Course (Audit)

Login and Registration System with Email Verification in PHP

27 ratings at Udemy

Create Secure Login & Registration System with Email verification, login through FB & Google using PHP & MySQLi OOP

• Udemy
• 2-3 hours
• On-Demand
• Paid Course

Introduction to Formal Logic (Learn how to argue)

Improve your reasoning skills with this 7-hour course on formal logic, covering logical arguments, fallacies, truth tables, and more. Ideal for students and decision-makers.

• Skillshare
• 7 hours
• On-Demand
• Free Trial Available

IEEE

VerX: Safety Verification of Smart Contracts

Learn to verify the safety of smart contracts with VerX in less than an hour, offered by IEEE. Gain skills in functional correctness, requirements formalization, and automated formal verification.

• YouTube
• 15 minutes
• On-Demand
• Free Online Course

PHP Registration Form, Email Verification & Responsive Email

67 ratings at Udemy

Object oriented PHP Registration & Login Form with Email Confirmation, Forgot Password & Responsive Email Template

• Udemy
• 13 hours 11 minutes
• On-Demand
• Paid Course