Recent advances in the eld of hardware veriication have raised some fresh (and some familiar) issues to do with the scope and limitations of formal proof. In this note, some of these are considered in the context of the Viper veriication project. Viper is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw, of the Royal Signals and Radar Establishment of the U.K. Ministry of De...

BACKGROUND An alarming number of fatal accidents involving snakes are annually reported in Africa and most of the victims suffer from permanent local tissue damage and chronic disabilities. Envenomation by snakes belonging to the genus Bitis, Viperidae family, are common in Sub-Saharan Africa. The accidents are severe and the victims often have a poor prognosis due to the lack of effective spec...

Tropidolaemus wagleri (temple pit viper) is a medically important snake in Southeast Asia. It displays distinct sexual dimorphism and prey specificity, however its venomics and inter-sex venom variation have not been thoroughly investigated. Applying reverse-phase HPLC, we demonstrated that the venom profiles were not significantly affected by sex and geographical locality (Peninsular Malaya, i...

A cDNA library derived from the Malayan-pit-viper (Calloselasma rhodostoma) venom gland was constructed in the phagemid vector. Using the information of the N-terminal amino acid sequences of two subunits of aggretin, synthetic mixed-base oligonucleotides were employed as a screening probe for colony hybridization. Separate cDNA clones encoding for the alpha and beta chains of aggretin were iso...

Envenoming by Echis saw-scaled viper is the leading cause of death and morbidity in Africa due to snake bite. Despite its medical importance, there have been few investigations into the toxin composition of the venom of this viper. Here, we report the cloning of cDNA sequences encoding four groups or isoforms of the haemostasis-disruptive Serine protease proteins (SPs) from the venom glands of ...

The Russell's viper (Daboia russelii) is responsible for 30-40% of all snakebites and the most number of life-threatening bites of any snake in Sri Lanka. The clinical profile of Russell's viper bite includes local swelling, coagulopathy, renal dysfunction and neuromuscular paralysis, based on which the syndromic diagnostic tools have been developed. The currently available Indian polyvalent an...

Vipera berus bites lead to a variety of clinical manifestations. Local swelling, coagulopathy, nephrotoxicity, cardiac effects and myotoxicity are known to be associated with envenoming by a viper bite. Although a variety of clinical manifestations have been reported in viper bite cases, anaphylactic reactions and liver injury events have not been described. We report a unique case of an anaphy...

Proteases from Russell's viper venom (RVV) induce a variety of toxic effects in victim. Therefore, four new RVV protease isoenzymes of molecular mass 32901.044 Da, 333631.179 Da, 333571.472 Da, and 34594.776 Da, were characterized in this study. The first 10 N-terminal residues of these serine protease isoenzymes showed significant sequence homology with N-terminal sequences of snake venom thro...

Pain-producing animal venoms contain evolutionarily honed toxins that can be exploited to study and manipulate somatosensory and nociceptive signaling pathways. From a functional screen, we have identified a secreted phospholipase A2 (sPLA2)-like protein, BomoTx, from the Brazilian lancehead pit viper (Bothrops moojeni). BomoTx is closely related to a group of Lys49 myotoxins that have been sho...