Axel Legay

Fabrizio Biondi

Thomas Given-Wilson

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Model Checking Software

Questa storia ha inizio a metà degli anni '90, e il protagonista, Fabio, poco dopo aver compiuto trent'anni, in seguito ad un banale controllo medico, scopre di avere una malattia renale di origine genetica, che lo porterà in poco tempo ad affrontare prima la dialisi, e successivamente il trapianto. Analizzando i ruoli coinvolti in un intervento chirurgico così specifico, il ricevente e il donatore, si evidenziano subito i due lati separati di questa delicata situazione, anche se poi per forza di cose queste distinzioni dovranno necessariamente convivere per lungo tempo nella stessa persona, specie se il trapianto è fatto da vivente, mentre nel caso sia fatto da cadavere, le persone coinvolte aumentano, implicando anche i relativi familiari. Ma come ci si può sentire se, a distanza di pochi anni, si recitano entrambi i ruoli in gioco, prima ricevendo un organo da un donatore sconosciuto deceduto, e poi diventando improvvisamente donatore, dovendo decidere per un proprio congiunto l'espianto dei suoi organi?

Fabrizio Biondi

About

Books

Join the club