A method andor system providing andor indicating configurable and selectable strategies for responding to data units. The single use digital camera does not provide the customer the ability to retrieve the stored data in image form. Once the augmented versions have been constructed, our inventive method verifies the concurrent program using existing tools for the verification of sequential programs\u2014thereby greatly reducing implementation overhead.