LOLA: Runtime Monitoring of Synchronous Systems.

Ben D'Angelo, Sriram Sankaranarayanan, Csar Snchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna

Browse the full TIME paper archive.