... A sound dynamic partial order reduction engine for Java Pathfinder . ACM SIGSOFT Software Engineering Notes , 44 ( 4 ) : 15–15 , 2021 . 21. Jeremy Manson , William Pugh , and Sarita V Adve . The Java memory model . ACM SIGPLAN Notices ...

... dynamic verification tools for these APIs also. This fact has been reaffirmed not only through ISP but through another line of recent work ... Programming with MPI. Morgan Kaufmann, San Reduced Execution Semantics of MPI 739 References.

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.

This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study.

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing.

The Intergovernmental Panel on Climate Change (IPCC) is the leading international body for assessing the science related to climate change.

This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth.

This is a broad, cross cutting, emerging and timely opportunity of interest to individuals, society and humanity in the long term.

This book provides a general introduction to Bayesian networks, defining and illustrating the basic concepts with pedagogical examples and twenty real-life case studies drawn from a range of fields including medicine, computing, natural ...