Context. Andesitic meteorites are among the oldest achondrites known to date. They record volcanic events and crust formation episodes in primordial planetesimals that took place about 4.565 Myr ago. However, no analogue for these has been found asteroid population Aims. We searched spectroscopic analogues of andesitic meteorite Erg Chech 002 using Gaia DR3 spectral dataset. Methods. In order i...

code: 002-0547

Verification condition (VC) generation is a fundamental part of many program analysis and applications, including proving program correctness, automatic test case generation, and proof carrying code. One might imagine VC applications would use the theoretically most appealing VC generation algorithm. This is often not the case. The most theoretically appealing algorithms are based upon weakest ...