Verification Assignments

  •  Assignment 2
  •  Assignment 3
  • Assignment 4 (Do exercise 1 of the attached link)
  • Experimental Exercises

  • Write an MSO formula over finite words defining the following language. Use MONA to generate and print a DFA for this language. "Set of all words over {a,b} such that there are three (possibly overlapping) occurrences of three consecutive b".
  • Solve the exercise 2 in the given link using NuSMV tool.

  •