10. The method of claim 9 , wherein receiving the indication of the post condition comprises referencing a predetermined post condition defined for a batch processing system.
10. The method of claim 9 , wherein receiving the indication of the post condition comprises referencing a predetermined post condition defined for a batch processing system. 11. The method of claim 10 , wherein the batch processing employs an automatically operated check for classes of vulnerabilities defined based on the predetermined post condition.