A Suggestive List of Survey (Term) Paper Topics


Please note that this is just a suggestive list. The purpose of putting up this list is to encourage you to think about (and google on) possible topics for your survey (term) paper. Other topics (preferably from your domain of interest) that have the spirit of formal specification and/or verification of software/hardware systems are welcome. Whatever be your choice, you need to discuss it with the instructor and get it approved before embarking on your study.
  1. Theorem proving fundamentals
  2. Program abstraction techniques
  3. Bounded model checking
  4. Model checking timed systems
  5. Reasoning about infinite state system with finite state methods
  6. Symbolic simulation and symbolic trajectory evaluation.
  7. Decision procedures for combinations of theories
  8. Timed logics for specification of timed properties
  9. Specification and verification of cryptographic protocols
  10. Specification and verification of distributed systems
  11. Semi-formal verification techniques
  12. Composition verification for verifying large systems
  13. Abstract interpretation
  14. SAT solvers and their variants: Use in verification
  15. Verification of e-commerce applications
  16. Abstraction and refinement based verification
  17. Verification of recursive programs
  18. Verifying programs with side effects
  19. Language restrictions to aid verification
  20. Specification languages: PSL, Sugar