Formal methods in LARGE-SCALE computing systems

Saif U. R. Malik FBCS and Samee U. Khan FBCS, from the Department of Electrical and Computer Engineering, North Dakota State University, talk about the significance and role of formal methods in delivering reliable and correct software.