background: if you want to start a long journey towards patient safety, you should create a good culture of patient safety among employees alongside structural interventions. the first step in doing so is the assessment of current culture in the organization using different tools. one of the most commonly used instruments of measuring patient safety culture is hospital survey of patient safety ...

Almost uniquely in pharmacology, drug safety assessment is driven by the need for elaboration and validation of methods for detecting drug actions. This is the 9th consecutive year that the Journal of Pharmacological and Toxicological Methods (JPTM) has published themed issues arising from the annual meeting of the Safety Pharmacology Society (SPS). The SPS is now past its 10th year as a distin...

Operational models of fragments of the Java Virtual Machine and the .NET Common Language Runtime have been the focus of considerable study in recent years, and of particular interest have been specifications and machine-checked proofs of type soundness. In this paper we aim to increase the level of automation used when checking type soundness for these formalizations. We present a semi-automate...