Basic concepts of formal methods with emphasis on using and applying mathematical logic plus finite state systems theory to program verification and debugging.