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.
- Theorem proving fundamentals
- Program abstraction techniques
- Bounded model checking
- Model checking timed systems
- Reasoning about infinite state system with finite state methods
- Symbolic simulation and symbolic trajectory evaluation.
- Decision procedures for combinations of theories
- Timed logics for specification of timed properties
- Specification and verification of cryptographic protocols
- Specification and verification of distributed systems
- Semi-formal verification techniques
- Composition verification for verifying large systems
- Abstract interpretation
- SAT solvers and their variants: Use in verification
- Verification of e-commerce applications
- Abstraction and refinement based verification
- Verification of recursive programs
- Verifying programs with side effects
- Language restrictions to aid verification
- Specification languages: PSL, Sugar