obj
config.log
config.status
config.cache
NuSMV
Makefile
