avatar
ESSeNCE Lab
Embedded Software, Sensors, Networks, Cyberphysical, Energy Lab
  • HOME
  • PUBLICATIONS
  • PATENTS
  • PEOPLE
  • TEACHING
Home Teaching Formal Aspects of Software Verification
Formal aspects of software verification
Cancel

C E 412x Formal Aspects of Software Verification

Course catalog page: Course catalog

Textbook: Logic in Computer Science:modelling and reasoning about systems, Michael Huth and Mark Ryan, 2nd edition.

Supplementary Material: PVS

SMV

Dr. Steve Miller’s Lecture

Lectures

  • Chapter 1 : Propositional Logic
    • Lecture 01
    • Lecture 02
    • Lecture 03
    • Lecture 04
    • Lecture 05
    • Lecture 06
    • Lecture 07
    • Lecture 08
    • Lecture 09
    • Lecture 10
    • Lecture 11
    • Lecture 12
    • Lecture 13
    • Lecture 14
    • Lecture 15
    • Lecture 16
    • Lecture 17
    • Lecture 18
    • Lecture 19
    • Lecture 20
    • Lecture 21
    • Lecture 22
    • Lecture 23
  • Chapter 2 : Predicate Logic
    • Lecture 24
    • Lecture 25
    • Lecture 26
    • Lecture 27
    • Lecture 28
    • Lecture 29
    • Lecture 30
    • Lecture 31
    • Lecture 32
    • Lecture 33
    • Lecture 34
    • Lecture 35
    • Lecture 36
    • Lecture 37
    • Lecture 38
    • Lecture 39
    • Lecture 40
    • Lecture 41
    • Lecture 42
    • Lecture 43
    • Lecture 44
    • Lecture 45
    • Lecture 46
    • Lecture 47
    • Lecture 48
    • Lecture 49
  • Chapter 3 : Program Verification
    • Lecture 50
    • Lecture 51
    • Lecture 52
    • Lecture 53
    • Lecture 54
    • Lecture 55
    • Lecture 56
    • Lecture 57
    • Lecture 58
    • Lecture 59
    • Lecture 60
    • Lecture 61
    • Lecture 62
  • Chapter 4: Temporal Logic & Model-Checking
    • Lecture 63
    • Lecture 64
    • Lecture 65
    • Lecture 66
    • Lecture 67
    • Lecture 68
    • Lecture 69
    • Lecture 70
    • Lecture 71
    • Lecture 72
    • Lecture 73
  • Chapter 5: Reading Materials & Examples
    • NuSMV Example (ABP State Machine)
    • PVS handout
    • PVS Tutorial
    • PVS Tutorial 2

© 2025 Prof. Ratnesh Kumar. Some rights reserved.

Powered by Jekyll with Chirpy theme.

A new version of content is available.