Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.

A method is provided for treatment of animals exposed to or subject to exposure to organophosphate animal poisonous nerve agents. The animals are injected with an effective amount of modified neurotoxin, preferably intramuscularly or intravenously, either prior to or shortly after exposure to the nerve agents. Particularly when the injection is administered prior to exposure, and where the dosage is of a higher amount, certain compositions achieve 100% survivors of Rhesus monkeys, even in the face of a challenge of 5 LD50 of the nerve agent.