Runtime VerificationHoward Barringer,Ylies Falcone,Bernd Finkbeiner · First published 2011Open the Tome
Temporal Logic in SpecificationHoward Barringer, Amir Pnueli · First published 1989 · Latest edition 2007Open the Tome
A survey of verification techniques for parallel programsHoward Barringer · First published 1985Open the Tome
