A methodology based on formal methods for thermal ablation area detection