Preoperative checklists have demonstrated efficacy in improving patient care in the surgical setting. While the assessment of perioperative risks through patient inquiry is extensive, the menstrual status of the patient is one question that is not frequently discussed. If a patient is menstruating during their surgical procedure, unknown use of an intravaginal menstrual hygiene product, such as a tampon or menstrual cup, places the patient at risk of infection.
View Article and Find Full Text PDFPhilos Trans A Math Phys Eng Sci
October 2017
For decades, formal methods have offered the promise of verified software that does not have exploitable bugs. Until recently, however, it has not been possible to verify software of sufficient complexity to be useful. Recently, that situation has changed.
View Article and Find Full Text PDF