EDITORIAL The Annals of Hepatology (AH) has the notable distinction of being only the second peer-reviewed journal published in the Americas dedicated solely to liver disease. Founded in 2002 1 as the official journal of the Mexican Association of Hepatology (MAH), the inaugural issue of the AH received the endorsement of the late Dr. Andres T. Blei 2 who, at the time, was the editor of Hepatol...

The central idea of the Heterogeneous Tool Set (HETS) is to provide a general framework for formal methods integration and proof management. One can think of HETS acting like a motherboard where different expansion cards can be plugged in, the expansion cards here being individual logics (with their analysis and proof tools) as well as logic translations. Individual logics and their analysis an...

The specification language Csp-Casl allows one to model processes as well as data of distributed systems within one framework. In our paper, we describe how a combination of the existing tools Hets and CspProver can solve the challenges that Csp-Casl raises on integrated theorem proving for processes and data. For building this new tool, the automated generation of theorems and their proofs in ...