Proof scores are a promising technique in software engineering for verifying the properties of a software system. While proof scores offer the key advantage of following the same syntax as the specification language they are implemented in, they also have several disadvantages that have limited their wide acceptance. In a new study, researchers study the past, present, and future of proof scores to understand their weaknesses and future directions to overcome them.

A research team at Tohoku University’s Advanced Institute for Materials Research (WPI-AIMR) has developed a new technique to rapidly and accurately determine the charge state of electrons confined in semiconductor quantum dots—fundamental components of quantum computing systems. The method is based on Bayesian inference, a statistical framework that estimates the most likely state of a system using observed data.