There are some papers about formal methods.